Matrix taxonomy and Bourn localization
DOI10.1007/s10485-022-09692-yzbMath1532.18001arXiv2208.09509WikidataQ114744375 ScholiaQ114744375MaRDI QIDQ6408313
Michael Hoefnagel, Pierre-Alain Jacqmin
Publication date: 19 August 2022
Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 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)
