An embedding theorem for regular Mal'tsev categories

DOI10.1016/J.JPAA.2017.06.006MaRDI QIDQ1689583zbMATH OpenOpenAlexFDO

Authors Pierre-Alain Jacqmin

Publication date 12 January 2018

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

Full work available at URL https://arxiv.org/abs/1710.03198

Mathematics Subject Classification ID

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

Abstract: In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $mathbbC$ in an $n$-th power of a particular locally finitely presentable regular Mal'tsev category. The embedding preserves and reflects finite limits, isomorphisms and regular epimorphisms, as in the case of Barr's embedding theorem for regular categories. Furthermore, we show that we can take $n$ to be the (cardinal) number of subobjects of the terminal object in $mathbbC$.

Recommendations

• Representation of categories
• An embedding theorem for abelian categories
• The cuboid lemma and Mal'tsev categories
• Embedding theorems for Janelidze's matrix conditions
• Partial algebras and embedding theorems for (weakly) Mal'tsev categories and matrix conditions

Cites work

• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 5526294 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1560489 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Diagram chasing in Mal'cev categories
• Imbedding of Abelian Categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On the general theory of algebraic systems
• Representation of categories
• Strong conceptual completeness for first-order logic
• Sur quelques points d'algèbre homologique
• Syntactic characterizations of various classes of locally presentable categories
• The Full Imbedding Theorem
• The denormalized \(3{\times}3\) lemma

Cited in

(9)

• The matrix taxonomy of finitely complete categories
• A syntactic characterization of weakly Mal'tsev varieties
• Embedding theorems for Janelidze's matrix conditions
• A unified classification theorem for Mal'tsev-like categories
• A class of exactness properties characterized via left Kan extensions
• On stability of exactness properties under the pro-completion
• Representation of categories
• On linear exactness properties
• On the naturalness of Mal'tsev categories

This page was built for publication: An embedding theorem for regular Mal'tsev categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689583)