| http://www.w3.org/ns/prov#value | - We think of Path(X)Path(X) as an analogue of ???(I,X)\pitchfork(I,X) and Cyl(X)Cyl(X) as an analogue of I???XI\odot X. In fact, if CC is a TopTop-enriched model category and XX is cofibrant, then these powers and copowers are in fact examples of path and cylinder objects. (This works more generally if CC is a VV-model category and e???e???I???ee\sqcup e o I o e is a good cylinder object for th
|
