It's true that connecting components is just a matter of mapping one representation to another. As you say, this mapping can be specified with a function, comp

It's true that connecting components is just a matter of mapping one representation to another. As you say, this mapping can be specified with a function, composed of other functions. But if the mapping is complex, with different levels interacting, writing this function can be difficult. That is, isomorphic mappings are straightforward; but non-isomorphisms (the non-homomorphic aspect) can be tricky. How well does this approach handle the tricky cases? (an example would be great, if possible)