Constellations with range and IS-categories

DOI10.1016/J.JPAA.2021.106995zbMATH Open1495.18002arXiv2103.16770OpenAlexW4205846654MaRDI QIDQ2134646FDOQ2134646

Authors: Victoria Gould, T. E. Stokes 

Publication date: 3 May 2022

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

Abstract: Constellations are asymmetric generalisations of categories. Although they are not required to possess a notion of range, many natural examples do. These include commonly occurring constellations related to concrete categories (since they model surjective morphisms), and also others arising from quite different sources, including from well-studied classes of semigroups. We show how constellations with a well-behaved range operation are nothing but ordered categories with restrictions. We characterise abstractly those categories that are canonical extensions of constellations with range, as so-called IS-categories. Such categories contain distinguished subcategories of insertions (which are monomorphisms) and surjections (in general different to the epimorphisms) such that each morphism admits a unique factorisation into a surjection followed by an insertion. Most familiar concrete categories are IS-categories, and we show how some of the well-known properties of these categories arise from the fact that they are IS-categories. For appropriate choices of morphisms in each, the category of IS-categories is shown to be equivalent to the category of constellations with range.

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

Recommendations

• Constellations and their relationship with categories
• On conditions for constellations
• Restriction semigroups and inductive constellations.
• Actions and partial actions of inductive constellations.
• D-semigroups and constellations

zbMATH Keywords

constellationcategorypre-range

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Special categories (18B99) Generalizations of semigroups (20M75)

Cites Work

• Title not available (Why is that?)
• Semigroups and ordered categories. I: The reduced case
• On the theory of inverse semigroups and generalized groups
• PARTIAL ACTIONS OF GROUPS
• Title not available (Why is that?)
• Restriction semigroups and inductive constellations.
• Function systems
• ON THE ZAPPA-SZÉP PRODUCT
• D-semigroups and constellations
• Title not available (Why is that?)
• Ehresmann semigroups whose categories are EI and their representation theory
• Constellations and their relationship with categories
• Domain and Range Operations in Semigroups and Rings

Cited In (3)

• On conditions for constellations
• An Ehresmann-Schein-Nambooripad type theorem for DRC-semigroups
• Actions and partial actions of inductive constellations.

This page was built for publication: Constellations with range and IS-categories

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