Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories.
Janelidze, Zurab (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Approximate Mal'tsev operations.”
Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories.
Baer sums and fibered aspects of Mal'cev operations
Dominique Bourn (1999)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A categorical genealogy for the congruence distributive property.
Bourn, Dominique (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Commutator theory in strongly protomodular categories.
Bourn, Dominique (2004)
Theory and Applications of Categories [electronic only]
Similarity:
Locally cartesian closed categories without chosen constructions.
Palmgren, Erik (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Closedness properties of internal relations. II: Bourn localization.
Janelidze, Zurab (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Protomodularity, descent, and semidirect products.
Bourn, D., Janelidze, G. (1998)
Theory and Applications of Categories [electronic only]
Similarity:
Centrality and normality in protomodular categories.
Bourn, Dominique, Gran, Marino (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Abelian groupoids and non-pointed additive categories.
Bourn, Dominique (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Normal functors and strong protomodularity.
Bourn, Dominique (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Traced premonoidal categories
Nick Benton, Martin Hyland (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.
Moore categories.
Rodelo, Diana (2004)
Theory and Applications of Categories [electronic only]
Similarity: