Categorical (binary) difference terms and protomodularity
From MaRDI portal
Publication:651386
DOI10.1007/s00012-011-0156-xzbMath1231.08004OpenAlexW2099815773MaRDI QIDQ651386
Zurab Janelidze, Dominique Bourn
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
protomodular categoryadditive categoryMal'tsev categoryalgebraic modus ponenscategorical difference term
Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Preadditive, additive categories (18E05)
Related Items (8)
Normalizers and split extensions ⋮ Unnamed Item ⋮ An axiomatic survey of diagram lemmas for non-abelian group-like structures ⋮ Involution-rigidness — a new exactness property, and its weak version ⋮ A class of exactness properties characterized via left Kan extensions ⋮ Approximate Hagemann-Mitschke co-operations ⋮ A Note on the Abelianization Functor ⋮ Embedding theorems for Janelidze's matrix conditions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Split short five lemma for clots and subtractive categories
- Diagram chasing in Mal'cev categories
- Ideals in universal algebras
- Subtractive categories
- Normal subobjects of topological groups and of topological semi-Abelian algebras
- Subtractive categories and extended subtractions
- Pointed protomodularity via natural imaginary subtractions
- Congruence modularity is permutability composed with distributivity
- Mal'cev varieties
- On categorical conditions for congruences to commute
- On subtractive varieties. I
- Some remarks on Maltsev and Goursat categories
- On the canonical algebraic structure of a category
- Affine categories and naturally Mal'cev categories
- Varieties with a difference term
- Mal'cev categories and fibration of pointed objects
- On \(n\)-permutable congruences
- Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity
- Closedness properties of internal relations. V: Linear Mal'tsev conditions
- Exact categories and categories of sheaves
- Closedness properties of internal relations. III: Pointed protomodular categories
- Algebras Whose Congruence Lattices are Distributive.
- A Characterization of Modularity for Congruence Lattices of Algebras*
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- On the determining of the form of congruences in abstract algebras with equationally definable constant elements
- \(3\times 3\) lemma and protomodularity
- Mal'tsev conditions and relations on algebras
- Semi-abelian categories
This page was built for publication: Categorical (binary) difference terms and protomodularity
