| http://www.w3.org/ns/prov#value | - permalinkparent[???]tailcalled 0 points1 point2 points 2 years ago (2 children)sorry, this has been archived and can no longer be voted onEven in that case, you need a new category, as EqualUpToIsomorphism is only a functor in the subcategory where every morphism is an isomorphism.
|
