Natural anadeses and catadeses
Une autre propriété universelle pour le champ associé
Triples -structures
The Mal'tsev operation on extensions
La tour de fibrations exactes des -catégories
A right exactness property for internal categories
Baer sums and fibered aspects of Mal'cev operations
The shift functor and the comprehensive factorization for internal groupoids
Note on a submonadicity
Cohomology without projectives
Distributeurs et théorie de la forme
Initial normal covers in bi-Heyting toposes
The dual of the category of pointed objects of a topos is semi-abelian, thus is provided with a notion of semi-direct product and a corresponding notion of action. In this paper, we study various conditions for representability of these actions. First, we show this to be equivalent to the existence of initial normal covers in the category of pointed objects of the topos. For Grothendieck toposes, actions are representable provided the topos admits an essential Boolean covering. This contains the...
A categorical genealogy for the congruence distributive property.
Normal functors and strong protomodularity.
Action groupoid in protomodular categories.
Abelian groupoids and non-pointed additive categories.
Commutator theory in strongly protomodular categories.
Centrality and normality in protomodular categories.
Characterization of protomodular varieties of universal algebras.
Approximate Mal'tsev operations.
Page 1 Next