| http://www.w3.org/ns/prov#value | - A propos of Martin's comment, the correct notion of slice 2-category depends on what you are doing -- you might want the strict version, with strictly commuting triangles, or the pseudo version, with invertible 2-cells (this is the strictest one that makes sense for non-strict 2-categories), or this lax version.
|
