Timeline for A cosmos where coproduct injections are not monic
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 9, 2015 at 17:15 | history | edited | Michal R. Przybylek | CC BY-SA 3.0 |
Fixed some grammar and typos
|
| Jun 8, 2015 at 17:52 | comment | added | Todd Trimble | @MikeShulman I've now done so (and redirected your link from the coprojection article). | |
| Jun 8, 2015 at 17:17 | comment | added | Mike Shulman | This is a nice example, thank you. I like $\mathbf{Set}\times \mathbf{Set}^{\mathrm{op}}$ even better as a simpler example. | |
| Jun 8, 2015 at 17:16 | vote | accept | Mike Shulman | ||
| Jun 8, 2015 at 17:06 | comment | added | Mike Shulman | @ToddTrimble Thanks! Why not put that at ncatlab.org/nlab/show/distributive+category ? | |
| Jun 7, 2015 at 15:24 | comment | added | Todd Trimble | Very good; +1. By the way, I wasn't explicitly aware of the fact that distributivity of products over coproducts implies monicity of coproduct inclusions. It's not very hard to prove though, if one remembers how to prove that distributivity implies that initial objects are strict (using a retraction argument). I have written up a proof here in case people want to see it: ncatlab.org/toddtrimble/published/… | |
| Jun 7, 2015 at 12:22 | history | edited | Michal R. Przybylek | CC BY-SA 3.0 |
Added even more explicit example
|
| Jun 7, 2015 at 9:23 | history | answered | Michal R. Przybylek | CC BY-SA 3.0 |