Constellations and their relationship with categories
Victoria Gould, Tim Stokes

TL;DR
This paper explores the concept of constellations as a generalization of categories, characterizing their structures, relationships, and how they can be used to construct and analyze various categories and substructures.
Contribution
It provides a comprehensive analysis of constellations, their relationship with categories, and introduces a canonical extension method linking constellations to categories.
Findings
Constellations generalize categories and include many examples.
Categories are special cases of constellations, specifically two-sided constellations.
Abstract
Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider constellations in full generality, giving many examples. We characterise those small constellations that are isomorphic to constellations of partial functions. We examine in detail the relationship between constellations and categories, showing the latter to be special cases of the former. In particular, we characterise those constellations that arise as (sub-)reducts of categories, and show that categories are nothing but two-sided constellations. We demonstrate that the notion of substructure can be captured within constellations but not within categories. We show that every constellation gives rise to a category , its canonical…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · semigroups and automata theory · Logic, programming, and type systems
