Timeline for What to call substructures in universal algebra in which we restrict the signature?
Current License: CC BY-SA 3.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 4, 2012 at 22:07 | comment | added | Gerhard Paseman | An earlier comment of mine which I deleted said that you might call it a subclone. That would be technically incorrect, but you might find an appropriate homomorphism from an abstract clone onto each of A and B. Gerhard "Hope It's Right This Time" Paseman, 2012.05.04 | |
May 4, 2012 at 20:34 | vote | accept | Andrej Bauer | ||
May 3, 2012 at 23:55 | comment | added | Benjamin Steinberg | In semigroup theory we routinely talk about subsemigroups of monoids. | |
May 3, 2012 at 22:19 | answer | added | Joel David Hamkins | timeline score: 3 | |
May 3, 2012 at 22:15 | history | asked | Andrej Bauer | CC BY-SA 3.0 |