Majority categories

MaRDI QIDQ4631634zbMATH OpenFDO

Authors Michael Hoefnagel

Publication date 16 April 2019

Full work available at URL https://arxiv.org/abs/1902.03050, http://www.tac.mta.ca/tac/volumes/34/10/34-10abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

arithmetical categoryinternal relationlatticemajority algebramajority categorymajority termMal'tsev categoryprotoarithmetical category

Mathematics Subject Classification ID

Varieties of lattices (06B20) Equational logic, Mal'tsev conditions (08B05) Definitions and generalizations in theory of categories (18A05) Categories of spans/cospans, relations, or partial maps (18B10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categories and theories (18C99)

Abstract: We introduce the notion of a majority category --- the categorical counterpart of varieties of universal algebras admitting a majority term. This notion can be thought to capture properties of the category of lattices, in a way that parallels how Mal'tsev categories capture properties of the category of groups. Among algebraic majority categories are the categories of lattices, Boolean algebras, and Heyting algebras. Many geometric categories such as the category of topological spaces, metric spaces, ordered sets, any topos, ect., are comajority categories (i.e.~their duals are majority categories), and we show that, under mild assumptions, the only categories which are both majority and comajority, are the preorders. Mal'tsev majority categories provide an alternative generalization of arithmetical categories to protoarithmetical categories in the sense of Bourn. We show that every Mal'tsev majority category is protoarithmetical, provide a counter-example for the converse implication, and show that in the Barr-exact context, the converse implication also holds. We can then conclude that a category is arithmetical if and only if it is a Barr-exact Mal'tsev majority category, recovering in the varietal context a well-known result of Pixley.

Recommendations

• Characterizations of majority categories
• Categorical equivalence of algebras with a majority term
• On the naturalness of Mal'tsev categories
• Varieties generated by two-element majority algebras and their equivalences
• The number of varieties of pure majority algebras

Cites work

• A categorical genealogy for the congruence distributive property
• A ternary operation in distributive lattices
• Affine categories and naturally Mal'cev categories
• Arithmetical categories and commutator theory
• Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
• Closedness properties of internal relations. II: Bourn localization
• Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity
• Diagram chasing in Mal'cev categories
• Die primitiven Klassen arithmetischer Ringe
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Exact categories and categories of sheaves
• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 5526294 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• Implicative Semi-Lattices
• Intrinsic centrality and associated classifying properties
• Introduction to extensive and distributive categories
• Mal'cev categories and fibration of pointed objects
• Mal'tsev objects, \(R_1\)-spaces and ultrametric spaces
• Subtractive categories

Cited in

(18)

• The number of varieties of pure majority algebras
• A class of exactness properties characterized via left Kan extensions
• Anticommutativity and the triangular lemma
• On linear exactness properties
• Matrix taxonomy and Bourn localization
• Facets of congruence distributivity in Goursat categories
• \(\mathcal{M}\)-coextensive objects and the strict refinement property
• On stability of exactness properties under the pro-completion
• Characterizations of majority categories
• The matrix taxonomy of finitely complete categories
• Products and coequalizers in pointed categories
• scientific article; zbMATH DE number 7692243 (Why is no real title available?)
• Exact-m-majority terms
• On binary matrix properties
• Categorical aspects of congruence distributivity
• On \(n\)-unital and \(n\)-Mal'tsev categories
• A note on the atomicity of arithmeticity
• On extensivity and coextensivity of morphisms

This page was built for publication: Majority categories

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