Assertion: isomorphism | /r/CapableOf | generalise to equivalence
Facets:
value: in higher categories
type: OTHER
Source sentences:
text: In higher categories, isomorphisms generalise to equivalences, which we expect to have only weak inverses.