Zulip Chat Archive

Stream: Is there code for X?

Topic: structure preserving maps


view this post on Zulip Juho Kupiainen (Jan 14 2021 at 15:10):

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

view this post on Zulip Johan Commelin (Jan 14 2021 at 15:15):

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

view this post on Zulip Johan Commelin (Jan 14 2021 at 15:15):

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


Last updated: May 17 2021 at 15:13 UTC