D-inverse constellations

Victoria Gould, Tim Stokes

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$…