2024/03/26 by Victoria Gould, Gould, Victoria, Tim Stokes +1
Physics and Astronomy · #20L05 #Category Theory (math.CT) #FOS: Mathematics #Historical Astronomy and Related Studies
paper · pdf · doi:10.48550/arxiv.2403.17282
openalex publication_date 2024/03/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give an algebraic characterisation of ordered groupoids, namely, we show that there is a categorical isomophism between the category of ordered groupoids and the category of D-inverse constellations. Here constellations are partial algebras in the sense that they possess a partial product, and a unary operation D. We consider constellations in which elements have a suitable notion of inverse, giving the notion of a D-inverse constellation.