Matrix taxonomy and Bourn localization

DOI10.1007/S10485-022-09692-YMaRDI QIDQ2105680zbMATH OpenOpenAlexWikidataFDO

Authors Michael Hoefnagel, Pierre-Alain Jacqmin

Publication date 8 December 2022

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

Mal'tsev categoryfibration of pointsunital categorymatrix propertyarithmetical categoryBourn localization

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Categoricity and completeness of theories (03C35) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Formalization of mathematics in connection with theorem provers (68V20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Embedding theorems, universal categories (18B15) 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)

Recommendations

• Matrix localization and embedding
• Localization of matrix factorizations
• Classification of Bott towers by matrix
• Localization in matrix computations: theory and applications
• scientific article; zbMATH DE number 811571
• On the domain and dimension hierarchy of matrix interpretations
• Tree-tree matrices and other combinatorial problems from taxonomy
• scientific article; zbMATH DE number 64797
• The matrix taxonomy of finitely complete categories
• scientific article; zbMATH DE number 3847588

Cites work

• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 19481 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1924515 (Why is no real title available?)
• Anticommutativity and the triangular lemma
• Arithmetical categories and commutator theory
• Characterizations of majority categories
• Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
• Closedness properties of internal relations. II: Bourn localization
• Diagram chasing in Mal'cev categories
• Exact categories and categories of sheaves
• Facets of congruence distributivity in Goursat categories
• Majority categories
• Mal'cev categories and fibration of pointed objects
• Mal'tsev objects, \(R_1\)-spaces and ultrametric spaces
• Products and coequalizers in pointed categories
• Subtractive categories
• The matrix taxonomy of finitely complete categories

Cited in

(3)

• On binary matrix properties
• Matrix taxonomy and Bourn localization
• Categorical aspects of congruence distributivity

This page was built for publication: Matrix taxonomy and Bourn localization

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