| http://www.w3.org/ns/prov#value | - To get from groupoids to categories, we need to also allow things which were previously invertible to be noninvertible, i.e. perform ???directification.??? We could also do this first starting from a set, obtaining a poset (in which the symmetric relation ???is equal to??? has been replaced by the non-symmetric one ???is less than or equal to???).
|
