Matrix taxonomy and Bourn localization
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)
- 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
- 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
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)