Related papers: Products and coequalizers in pointed categories
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
We introduce the notion of a majority category --- the categorical counterpart of varieties of universal algebras admitting a majority term. This notion can be thought to capture properties of the category of lattices, in a way that…
This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…
The aim of this work is to point out a strong structural phenomenon hidden behind the existence of normalizers through the investigation of this property in the non-pointed context: given any category E, a certain property of the fibration…
A classification theorem for three different sorts of Mal'tsev categories is proven. The theorem provides a classification for Mal'tsev category, naturally Malt'sev category, and weakly Mal'tsev category in terms of classifying classes of…
Consider a class of skew product transformations consisting of an ergodic or a periodic transformation on a probability space (M, B, m) in the base and a semigroup of transformations on another probability space (W,F,P) in the fibre. Under…
Let $P$ be a probability on a finite group $G$, ${P^{(n)}}$ $n$-fold convolution of $P$ on $G$. Under mild condition, ${P^{(n)}}$ at $n \to \infty $ converges to the uniform probability on the group $G$. If $A = \left\{ {g \in G,\;P\left( g…
The present work develops a construction of a CD category of partial kernels from a particular type of Markov category called a partializable Markov category. These are a generalization of earlier models of categories of partial morphisms…
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties,…
We give conditions under which a product of topological spaces satisfies some local property. The conditions are necessary and sufficient when the corresponding global property is preserved under finite products. Further examples include…
Local actions of $\mathbb{P}_\mathbb{N}$, the group of finite permutations on $\mathbb{N}$, on quasi-local algebras are defined and proved to be $\mathbb{P}_\mathbb{N}$-abelian. It turns out that invariant states under local actions are…
We give new characterisations of regular Mal'tsev categories with distributive lattice of equivalence relations through variations of the so-called Triangular Lemma and Trapezoid Lemma in universal algebra. We then give new…
For an action of a finite group on a C*-algebra, we present some conditions under which properties of the C*-algebra pass to the crossed product or the fixed point algebra. We mostly consider the ideal property, the projection property,…
We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products…
This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…
Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…
We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…
A product system E over a semigroup P is a family of Hilbert spaces {E_s:s\in P} together with multiplications E_s \times E_t\to E_{st}. We view E as a unitary- valued cocycle on P, and consider twisted crossed products A \times_{\beta,E} P…
An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…
Categories of locally ordered spaces are especially well-adapted to the realization of most precubical sets, though their colimits are not so easy to determine (in comparison with colimits in the category of d-spaces for example). We use…