Timeline for Why is subcoalgebra structure unique?
Current License: CC BY-SA 3.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 17, 2018 at 11:41 | vote | accept | Evgeny Kuznetsov | ||
Apr 17, 2018 at 11:41 | comment | added | Evgeny Kuznetsov | Oh I realized, splitting does a job. Thanks a lot. | |
Apr 17, 2018 at 10:59 | history | edited | Tobias Fritz | CC BY-SA 3.0 |
incorporated Todd Trimble's correction
|
Apr 17, 2018 at 10:53 | comment | added | Tobias Fritz | @ToddTrimble: of course, thank you for the correction! I'll edit my answer accordingly. | |
Apr 17, 2018 at 10:50 | comment | added | Todd Trimble | A purist might object by noting that $\emptyset \to S$ can't be split if $S$ is nonempty, but that special case is trivial by initiality of $\emptyset$. | |
Apr 17, 2018 at 8:33 | history | edited | Tobias Fritz | CC BY-SA 3.0 |
added 495 characters in body; deleted 5 characters in body
|
Apr 17, 2018 at 8:01 | history | answered | Tobias Fritz | CC BY-SA 3.0 |