Assertion: commutative diagram | /r/HasProperty | interpreted as functor
Facets:
value: from an index category
type: OTHER
Source sentences:
text: A commutative diagram in a category C can be interpreted as a functor from an index category J to C; one calls the functor a diagram.