The matrix taxonomy of finitely complete categories
zbMath1499.18018arXiv2010.16226MaRDI QIDQ5080357
Pierre-Alain Jacqmin, Michael Hoefnagel, Zurab Janelidze
Publication date: 31 May 2022
Full work available at URL: https://arxiv.org/abs/2010.16226
Mal'tsev categoryfinitely complete categoryarithmetical categorymajority categorycomputer-generated proofposet of matrix properties
Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of algebras (08C05) Embedding theorems, universal categories (18B15) Categoricity and completeness of theories (03C35) Formalization of mathematics in connection with theorem provers (68V20) Computer assisted proofs of proofs-by-exhaustion type (68V05) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Computational methods for problems pertaining to category theory (18-08)
Related Items (1)
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
- Maltsev families of varieties closed under join or Maltsev product
- Diagram chasing in Mal'cev categories
- Characterizing Mal'cev conditions
- Mal'cev varieties
- Near unanimity identities and congruence distributivity in equational classes
- Characterizations of arithmetical varieties
- Some remarks on Maltsev and Goursat categories
- Regular and exact completions
- An embedding theorem for regular Mal'tsev categories
- Arithmetical categories and commutator theory
- Anticommutativity and the triangular lemma
- Facets of congruence distributivity in Goursat categories
- On stability of exactness properties under the pro-completion
- Characterizations of majority categories
- On difunctionality of class relations
- Embedding theorems for Janelidze's matrix conditions
- The ternary discriminator function in universal algebra
- 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
- Completeness in arithmetical algebras
- Indexed Systems of Neighborhoods for General Topological Spaces
- Geometrical methods in congruence modular algebras
- Varieties with few subalgebras of powers
- Varieties having directly decomposable congruence classes
- Doubly Lexical Orderings of Matrices
- Mal'tsev objects, $R_1$-spaces and ultrametric spaces
- Majority categories
- On the Naturalness of Mal’tsev Categories
- Congruence Relations in Direct Products
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- Relations binaires, fermetures, correspondances de Galois
This page was built for publication: The matrix taxonomy of finitely complete categories
