| http://www.w3.org/ns/prov#value | - If J:I???CJ\colon I o C is a diagram and xx is its limit in CC, then we may na??vely say that this limit is preserved by a functor F:C???DF\colon C o D if F(x)F(x) is the limit of the composite diagram I???JC???FDI \overset{J} o C \overset{F} o D. However, it is not enough to state this at the level of objects; we also need to impose some coherence conditions, preserving the entire universal
|
