Assertion: isomorphism's inverse | /r/CapableOf | close the composition
Facets:
value: in the commutative diagram
type: LOCATION
Source sentences:
text: The realization theorem solves this problem: inverses of the mappings, constituting the composition, are possible to identify up to isomorphism, closing the composition in the commutative diagram.