On stability of exactness properties under the pro-completion
DOI10.1016/j.aim.2020.107484zbMath1452.18005arXiv2002.02204OpenAlexW3098044124MaRDI QIDQ2217538
Zurab Janelidze, Pierre-Alain Jacqmin
Publication date: 30 December 2020
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.02204
Equational logic, Mal'tsev conditions (08B05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Accessible and locally presentable categories (18C35) Embedding theorems, universal categories (18B15) Limits, profinite groups (20E18) 2-categories, bicategories, double categories (18N10) Sketches and generalizations (18C30) Regular categories, Barr-exact categories (18E08) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)
Related Items (4)
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
- 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
- Semi-localizations of semi-abelian categories
- Monoids and pointed \(S\)-protomodular categories
- Lex colimits
- A good theory of ideals in regular multi-pointed categories
- On the normality of Higgins commutators
- Diagram chasing in Mal'cev categories
- Topological categories
- Subtractive categories
- Localisations of locally presentable categories. II
- Pointed protomodularity via natural imaginary subtractions
- Representation of categories
- Strong conceptual completeness for first-order logic
- Localisation of locally presentable categories
- Introduction to extensive and distributive categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Left exact presheaves on a small pretopos
- Some remarks on Maltsev and Goursat categories
- Regular and exact completions
- On the canonical algebraic structure of a category
- Two characterisations of groups amongst monoids
- A new characterisation of groups amongst monoids
- An embedding theorem for regular Mal'tsev categories
- On fibrations between internal groupoids and their normalizations
- A classification of accessible categories
- Some free constructions in realizability and proof theory
- Mal'cev categories and fibration of pointed objects
- Algebraic exponentiation in general categories
- The ternary commutator obstruction for internal crossed modules
- A unified classification theorem for Mal'tsev-like categories
- Embedding theorems for Janelidze's matrix conditions
- Star-regularity and regular completions
- Closedness properties of internal relations. V: Linear Mal'tsev conditions
- Exact categories and categories of sheaves
- 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
- A Note on the Abelianization Functor
- Involution-rigidness — a new exactness property, and its weak version
- Normal Sections and Direct Product Decompositions
- Algebraically coherent categories
- Majority categories
- Homological Algebra
- Duality for groups
- General Theory of Natural Equivalences
- Exact Categories and Duality
- Syntactic characterizations of various classes of locally presentable categories
- Semi-abelian categories
This page was built for publication: On stability of exactness properties under the pro-completion
