Categorical (binary) difference terms and protomodularity
DOI10.1007/S00012-011-0156-XzbMATH Open1231.08004OpenAlexW2099815773MaRDI QIDQ651386FDOQ651386
Authors: Dominique Bourn, Zurab Janelidze 
Publication date: 13 December 2011
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-011-0156-x
Recommendations
Mal'tsev categoryprotomodular categoryadditive categoryalgebraic modus ponenscategorical difference term
Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Preadditive, additive categories (18E05)
Cites Work
- Title not available (Why is that?)
- Closedness properties of internal relations. III: Pointed protomodular categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Semi-abelian categories
- Diagram chasing in Mal'cev categories
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Exact categories and categories of sheaves
- Algebras Whose Congruence Lattices are Distributive.
- Ideals in universal algebras
- On subtractive varieties. I
- \(3\times 3\) lemma and protomodularity
- Subtractive categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Subtractive categories and extended subtractions
- Mal'cev varieties
- Split short five lemma for clots and subtractive categories
- Pointed protomodularity via natural imaginary subtractions
- Title not available (Why is that?)
- Some remarks on Maltsev and Goursat categories
- Title not available (Why is that?)
- Mal'cev categories and fibration of pointed objects
- Affine categories and naturally Mal'cev categories
- Title not available (Why is that?)
- Congruence modularity is permutability composed with distributivity
- On \(n\)-permutable congruences
- Title not available (Why is that?)
- On the determining of the form of congruences in abstract algebras with equationally definable constant elements
- On categorical conditions for congruences to commute
- Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity
- Closedness properties of internal relations. V: Linear Mal'tsev conditions
- Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
- Closedness properties of internal relations. II: Bourn localization
- On the canonical algebraic structure of a category
- Varieties with a difference term
- Closedness properties of internal relations. VI: Approximate operations
- Title not available (Why is that?)
- Mal'tsev conditions and relations on algebras
- Normal subobjects of topological groups and of topological semi-Abelian algebras
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A note on the abelianization functor
- Normalizers and split extensions
- Embedding theorems for Janelidze's matrix conditions
- An axiomatic survey of diagram lemmas for non-abelian group-like structures
- Approximate Hagemann-Mitschke co-operations
- Involution-rigidness — a new exactness property, and its weak version
- A class of exactness properties characterized via left Kan extensions
This page was built for publication: Categorical (binary) difference terms and protomodularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651386)
