Assertion: cone | /r/HasProperty | object
Facets:
Source sentences:
text: A cone is an object (the apex) and a natural transformation from a constant functor (whose image is the apex of the cone and its identity morphism) to a diagram functor.