Assertion: commutative diagram | /r/HasProperty | a visualization of a diagram
Facets:
value: more formally
type: DEGREE
Source sentences:
text: More formally, a commutative diagram is a visualization of a diagram indexed by a poset category.