Algebra universalis

, Volume 77, Issue 3, pp 271–304 | Cite as

Constellations and their relationship with categories

Article
  • 49 Downloads

Abstract

Constellations are partial algebras that are one-sided generalisations of categories. Indeed, we show that a category is exactly a constellation that also satisfies the left-right dual axioms. Constellations have previously appeared in the context of inductive constellations: the category of inductive constellations is known to be 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. In particular, we characterise those constellations that arise as (sub-)reducts of categories. We demonstrate that the notion of substructure can be captured within constellations but not within categories. We show that every constellation P gives rise to a category \({\mathcal{C}(P)}\), its canonical extension, in a simplest possible way, and that P is a quotient of \({\mathcal{C}(P)}\) in a natural sense. We also show that many of the most common concrete categories may be constructed from simpler quotient constellations using this construction. We characterise the canonical congruences \({\delta}\) on a given category \({K}\) (those for which \({K \cong \mathcal{C}(K/\delta))}\), and show that the category of constellations is equivalent to the category of \({\delta}\)-categories, that is, categories equipped with distinguished canonical congruence \({\delta}\).

The main observation of this paper is that category theory as it applies to the familiar concrete categories of modern mathematics (which come equipped with natural notions of substructures and indeed are \({\delta}\)-categories) may be subsumed by constellation theory.

Keywords and phrases

constellation category partial algebra 

2010 Mathematics Subject Classification

Primary: 08A02 Secondary: 08A55 18D99 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gould V., Hollings C.: Restriction semigroups and inductive constellations. Comm. Algebra 38, 261–287 (2009)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Grätzer G.: Universal Algebra, 2nd edn. Springer, New York (1979)MATHGoogle Scholar
  3. 3.
    Jackson M., Stokes T.: Agreeable semigroups. J. Algebra 266, 393–417 (2003)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Lawson M.V.: Semigroups and ordered categories I: the reduced case. J. Algebra 141, 422–462 (1991)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing 2017

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of YorkHeslington, YorkUnited Kingdom
  2. 2.Department of Mathematics and StatisticsUniversity of WaikatoHamiltonNew Zealand

Personalised recommendations