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

arithmetical categoryBourn localizationfibration of pointsMal'tsev categorymatrix propertyunital category

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) Computational methods for problems pertaining to category theory (18-08) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 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)

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

• 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
• 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?)
• 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

(4)

• Matrix taxonomy and Bourn localization
• On binary matrix properties
• Categorical aspects of congruence distributivity
• A note on the atomicity of arithmeticity

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)