| http://www.w3.org/ns/prov#value | - The counit of this adjunction is an isomorphism (so that we can reconstruct the coalgebra from its category of representations), and the unit of this adjunction is an equivalence precisely when we restrict to categories for which the fiber functor is faithful and exact (so that we can recognize such categories and fiber functors as being the ones that are categories of representations).
|
