ﻻ يوجد ملخص باللغة العربية
In this paper, we use a categorical and functorial set up to model the syntax and inference of logics of algebraic signature, extending previous works on algebraisation of logics. The main feature of this work is that structurality, or invariance under substitution of variables, are modelled by functoriality in this paper, resulting in a much clearer framework for algebraisation. It also provides a very nice conceptual understanding of various existing results already established in the literatures, and derives several new results as well.
We make some beginning observations about the category $mathbb{E}mathrm{q}$ of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations $R,S$ is a mapping from the set of $R$-equivalence classes to that
We discuss the relationship between (co)homology groups and categorical diagonalization. We consider the category of chain complexes in the category of finitely generated free modules on a commutative ring. For a fixed chain complex with zero maps as
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the in
Markov categories are a recent category-theoretic approach to the foundations of probability and statistics. Here we develop this approach further by treating infinite products and the Kolmogorov extension theorem. This is relevant for all aspects of
We consider Ribenboims construction of rings of generalized power series. Ribenboims construction makes use of a special class of partially ordered monoids and a special class of their subsets. While the restrictions he imposes might seem conceptuall