structure preserving maps

Stream: Is there code for X?

[Juho Kupiainen]

Sorry.. may be a lazy noob question.. But is there some way to automatically define "structure preserving maps?" (given an algebraic structure)
https://en.wikipedia.org/wiki/Algebraic_structure
https://en.wikipedia.org/wiki/Homomorphism

[Johan Commelin]

@Juho Kupiainen lots of people think about this, but it's not so easy to do this in a usable way

[Johan Commelin]

you can search for posts by (for example) @Jacques Carette to get a sense of what's going on