| http://www.w3.org/ns/prov#value | - However, the monadicity theorems are an application, and the paper is really about how the weaker kinds of homomorphism that arise in 2-dimensional universal algebra ??? like strong, lax or colax monoidal functors between monoidal categories ??? are unique in satisfying certain properties.
|
