| http://www.w3.org/ns/prov#value | - Category-Theoretic Definition: A groupoid $\underline{G}$ is a small category (i.e. its class of objects $\underline{G}$ and its class of morphisms $\mathrm{Hom}_{\underline{G}}$ are sets) in which every morphism is an isomorphism (i.e. is invertible).
|
