Matrix taxonomy and Bourn localization
DOI10.1007/S10485-022-09692-YOpenAlexW4296961657WikidataQ114744375 ScholiaQ114744375MaRDI QIDQ2105680FDOQ2105680
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
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
Mal'tsev categoryfibration of pointsunital categorymatrix propertyarithmetical categoryBourn localization
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Diagram chasing in Mal'cev categories
- Exact categories and categories of sheaves
- Subtractive categories
- Title not available (Why is that?)
- Arithmetical categories and commutator theory
- Mal'cev categories and fibration of pointed objects
- Title not available (Why is that?)
- Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
- Closedness properties of internal relations. II: Bourn localization
- Mal'tsev objects, \(R_1\)-spaces and ultrametric spaces
- Majority categories
- Products and coequalizers in pointed categories
- Anticommutativity and the triangular lemma
- Facets of congruence distributivity in Goursat categories
- Characterizations of majority categories
- The matrix taxonomy of finitely complete categories
Cited In (3)
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)