M-coextensive objects and the strict refinement property

DOI10.1016/J.JPAA.2020.106381zbMATH Open1439.18001arXiv1905.10119OpenAlexW3015620220MaRDI QIDQ2176089FDOQ2176089

Authors: Michael Hoefnagel 

Publication date: 4 May 2020

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

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.

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

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

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)

Cites Work

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

Cited In (5)

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

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)