Skip to main content
4 events
when toggle format what by license comment
May 13, 2017 at 17:07 history edited Keith Kearnes CC BY-SA 3.0
edited body
May 13, 2017 at 17:03 comment added Keith Kearnes I use "structure-preserving" to mean $s\in S$ implies $f(s)\in T$, and I use "structure-reflecting" to mean $f(s)\in T$ implies $s\in S$. One of your concepts I would call "structure preserving", and the other I would call "structure preserving and reflecting".
May 13, 2017 at 16:50 comment added მამუკა ჯიბლაძე Would not a structure preserving morphism $f:(G,S)\to(H,T)$ satisfy $S=f^{-1}(T)$ rather than just $f(S)\subseteq T$?
May 13, 2017 at 16:34 history answered Keith Kearnes CC BY-SA 3.0