M-coextensive objects and the strict refinement property

DOI10.1016/J.JPAA.2020.106381MaRDI QIDQ2176089zbMATH OpenOpenAlexFDO

Authors Michael Hoefnagel

Publication date 4 May 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.10119

zbMATH Keywords

factorable congruencesextensive categoriesstrict refinement propertymajority categoriesBoolean categoriescenterless objects

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Algebraic structures (08A99) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Abstract: The notion of an $mathcalM$-coextensive object is introduced in an arbitrary category $mathbbC$, where $mathcalM$ is a distinguished class of morphisms from $mathbbC$. This notion allows for a categorical treatment of the strict refinement property in universal algebra, and highlights its connection with extensivity in the sense of Carboni, Lack and Walters. If $mathcalM$ is the class of all product projections in a variety of algebras $mathbbC$, then the $mathcalM$-coextensive (or projection-coextensive) objects in $mathbbC$ turn out to be precisely those algebras which have the strict refinement property. If $mathcalM$ is the class of surjective homomorphisms in the variety, then the $mathcalM$-coextensive objects are precisely those algebras which have directly-decomposable (or factorable) congruences. In exact Mal'tsev categories, every centerless object with global support has the strict refinement property. We will also show that in every exact majority category, every object with global support has the strict refinement property.

Recommendations

• Characterization of left coextensive varieties of universal algebras
• A class of exactness properties characterized via left Kan extensions
• Centrality and connectors in Maltsev categories.
• When do completion processes give rise to extensive categories?
• On the naturalness of Mal'tsev categories

Cites work

• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 2152034 (Why is no real title available?)
• scientific article; zbMATH DE number 962253 (Why is no real title available?)
• Arithmetical categories and commutator theory
• Boolean restriction categories and taut monads
• Categories of Boolean sheaves of simple algebras
• Centrality and connectors in Maltsev categories.
• Characterizations of majority categories
• Congruence distributivity in Goursat and Mal'cev categories
• Diagram chasing in Mal'cev categories
• Exact categories and categories of sheaves
• Introduction to distributive categories
• Introduction to extensive and distributive categories
• Lattices and ordered algebraic structures
• Majority categories
• On direct product desomposition of partially ordered sets
• Predicate Transformer Semantics
• Products and coequalizers in pointed categories
• Refinement properties for relational structures
• Strict refinement for graphs and digraphs

Cited in

(5)

• Categorical aspects of congruence distributivity
• Anticommutativity and the triangular lemma
• Connected objects in categories of S-acts
• The _1-dichotomy theorem with respect to a coideal
• Coextensive varieties via central elements

This page was built for publication: \(\mathcal{M}\)-coextensive objects and the strict refinement property

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