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