Assertion: coherent isomorphism | /r/CapableOf | arise by weakening equalities
Facets:
Source sentences:
text: In practice, coherent isomorphisms arise by weakening equalities; e.g., strict associativity may be replaced by associativity via coherent isomorphisms.