Skeleton: Pos

Pos is a skeleton of Pros; Pos is equivalent to Pros but has no isomorphisms. Less cryptically, isomorphic objects in Pros are mapped to single objects in Pos representing their equivalence classes.

Skeletons are not quite functorial, because their construction requires the Axiom of Choice.

skeletons: Pros

This data as json