Comment by yawaramin

> bidirectional transformations

Isn't that called an isomorphism?