Assertion: commutative diagram | /r/CapableOf | play the role
Facets:
value: in category theory
type: OTHER
Source sentences:
text: Commutative diagrams play the role in category theory that equations play in algebra.
text: It is said that commutative diagrams play the role in category theory that equations play in algebra (see Barr & Wells (2002, Section 1.7)).