Assertion: commutative diagram | /r/CapableOf | define a poset category
Facets:
value: given a commutative diagram
type: OTHER
value: conversely
type: MANNER
Source sentences:
text: Conversely, given a commutative diagram, it defines a poset category, where: