The matrix taxonomy of finitely complete categories
From MaRDI portal
Publication:5080357
arithmetical categorycomputer-generated prooffinitely complete categorymajority categoryMal'tsev categoryposet of matrix properties
Categoricity and completeness of theories (03C35) Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Computational methods for problems pertaining to category theory (18-08) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Embedding theorems, universal categories (18B15) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Computer assisted proofs of proofs-by-exhaustion type (68V05) Formalization of mathematics in connection with theorem provers (68V20)
Abstract: This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the paper gives an algorithm for deciding whether a conjunction of such properties implies another such property. Computer implementation of this algorithm allows one to peer into the complex structure of the poset of `matrix classes', i.e., the poset of all collections of finitely complete categories determined by matrix properties. Among elements of this poset are the collections of Mal'tsev categories, majority categories, (finitely complete) arithmetical categories, as well as finitely complete extensions of various classes of varieties defined by a special type of Mal'tsev conditions found in the literature.
Recommendations
Cites work
- An embedding theorem for regular Mal'tsev categories
- Anticommutativity and the triangular lemma
- Arithmetical categories and commutator theory
- Characterizations of arithmetical varieties
- Characterizations of majority categories
- Characterizing Mal'cev conditions
- Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
- Closedness properties of internal relations. II: Bourn localization
- Completeness in arithmetical algebras
- Congruence Relations in Direct Products
- Diagram chasing in Mal'cev categories
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- Doubly Lexical Orderings of Matrices
- Embedding theorems for Janelidze's matrix conditions
- Exact categories and categories of sheaves
- Facets of congruence distributivity in Goursat categories
- Geometrical methods in congruence modular algebras
- scientific article; zbMATH DE number 426299 (Why is no real title available?)
- scientific article; zbMATH DE number 4059472 (Why is no real title available?)
- scientific article; zbMATH DE number 4077517 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (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 1912565 (Why is no real title available?)
- scientific article; zbMATH DE number 2113401 (Why is no real title available?)
- scientific article; zbMATH DE number 2118486 (Why is no real title available?)
- scientific article; zbMATH DE number 3091018 (Why is no real title available?)
- Indexed Systems of Neighborhoods for General Topological Spaces
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Majority categories
- Mal'cev varieties
- Mal'tsev objects, \(R_1\)-spaces and ultrametric spaces
- Maltsev families of varieties closed under join or Maltsev product
- Near unanimity identities and congruence distributivity in equational classes
- On difunctionality of class relations
- On stability of exactness properties under the pro-completion
- On the naturalness of Mal'tsev categories
- Regular and exact completions
- Relations binaires, fermetures, correspondances de Galois
- 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
- Some remarks on Maltsev and Goursat categories
- The ternary discriminator function in universal algebra
- Varieties having directly decomposable congruence classes
- Varieties with few subalgebras of powers
Cited in
(11)- Matrix taxonomy and Bourn localization
- Classification of matrices associated to finite categories
- scientific article; zbMATH DE number 3875501 (Why is no real title available?)
- Classification of categories with matrices of coefficient 2 and ordern
- A Categorical Approach to Matrix Toda Brackets
- scientific article; zbMATH DE number 6119857 (Why is no real title available?)
- Internalization and enrichment via spans and matrices in a tricategory
- On binary matrix properties
- Categorical aspects of congruence distributivity
- On \(n\)-unital and \(n\)-Mal'tsev categories
- A note on the atomicity of arithmeticity
This page was built for publication: The matrix taxonomy of finitely complete categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5080357)
