First we show that the value returned by these functions is isomorphic to their input.
The elasticity complex will be realized as a subcomplex of an isomorphic image of this complex.
Two operators are isomorphic if the relevant factor map is a homeomorphism.
This suggested a potential isomorphic relationship between productive and conceptual knowledge in normal development.
The above theorem entails, in particular, that there is an intuitionistic phase space that is not phase isomorphic to any classical phase space.
Once we have enriched graphs sufficiently, they are actually isomorphic to terms with explicit sharing.
An immediate but surprising consequence is that the call-by-name and call-by-value calculi are syntactically isomorphic to each other.
More generally, it can be shown that any two terminal objects are isomorphic.
