Embedding theorems for Janelidze's matrix conditions

DOI10.1016/J.JPAA.2019.05.017zbMath1423.18012OpenAlexW2943846939WikidataQ127922900 ScholiaQ127922900MaRDI QIDQ2318400

Pierre-Alain Jacqmin

Publication date: 15 August 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2019.05.017

zbMATH Keywords

embedding theoremprotomodular categoryessentially algebraic category\(n\)-permutable category(strongly) unital categoryregular-exact completion

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Embedding theorems, universal categories (18B15) Partial algebras (08A55)

Related Items (6)

On stability of exactness properties under the pro-completion ⋮ A class of exactness properties characterized via left Kan extensions ⋮ The matrix taxonomy of finitely complete categories ⋮ Unnamed Item ⋮ On linear exactness properties ⋮ On the Naturalness of Mal’tsev Categories

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
• Semi-localizations of semi-abelian categories
• Categorical (binary) difference terms and protomodularity
• Diagram chasing in Mal'cev categories
• Subtractive categories
• Representation of categories
• Strong conceptual completeness for first-order logic
• Left exact presheaves on a small pretopos
• Some remarks on Maltsev and Goursat categories
• On the canonical algebraic structure of a category
• An embedding theorem for regular Mal'tsev categories
• Mal'cev categories and fibration of pointed objects
• Approximate Hagemann-Mitschke co-operations
• Closedness properties of internal relations. V: Linear Mal'tsev conditions
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Sur quelques points d'algèbre homologique
• Closedness properties of internal relations. III: Pointed protomodular categories
• A Note on the Abelianization Functor
• Goursats Theorem and the Zassenhaus Lemma
• Syntactic characterizations of various classes of locally presentable categories
• Semi-abelian categories

This page was built for publication: Embedding theorems for Janelidze's matrix conditions