2 ms·
> bidirectional transformations Isn't that called an isomorphism?
by yawaramin 7y ago
> bidirectional transformations
Isn't that called an isomorphism?
- makapuf 7y agoBidirectional implies bijections, for isomorphism you'll need a morphism, a function that preserves/transposes some kind of structure or internal composition law (addition, multiplication,...)
- mycl 7y agoInterestingly, from the point of view of category theory, an isomorphism in a category is just a morphism with a two-sided inverse. A bijection is then just an isomorphism in the category of sets.