An embedding theorem for regular Mal'tsev categories

DOI10.1016/J.JPAA.2017.06.006zbMATH Open1401.18013arXiv1710.03198OpenAlexW2962858164MaRDI QIDQ1689583FDOQ1689583

Authors: Pierre-Alain Jacqmin 

Publication date: 12 January 2018

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

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$.

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

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

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)

Cites Work

• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Sur quelques points d'algèbre homologique
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagram chasing in Mal'cev categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong conceptual completeness for first-order logic
• The denormalized \(3{\times}3\) lemma
• The Full Imbedding Theorem
• Title not available (Why is that?)
• Representation of categories
• Syntactic characterizations of various classes of locally presentable categories
• On the general theory of algebraic systems
• Imbedding of Abelian Categories

Cited In (9)

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

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)