Timeline for Monomorphisms, epimorphisms, (co-)images and factorizations in $\infty$-categories
Current License: CC BY-SA 3.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2017 at 19:46 | vote | accept | Saal Hardali | ||
| S Feb 10, 2017 at 19:44 | history | bounty ended | CommunityBot | ||
| S Feb 10, 2017 at 19:44 | history | notice removed | CommunityBot | ||
| Feb 2, 2017 at 17:51 | history | edited | Saal Hardali | CC BY-SA 3.0 |
deleted 126 characters in body
|
| S Feb 2, 2017 at 17:50 | history | bounty started | Saal Hardali | ||
| S Feb 2, 2017 at 17:50 | history | notice added | Saal Hardali | Canonical answer required | |
| Feb 2, 2017 at 16:52 | comment | added | Denis Nardin | @CharlesRezk Actually I have a very poor intuition for epimorphisms of ∞-groupoids. I guess what I meant with "boring" is that there are very few of them, so the notion of subobject for example is not that useful. | |
| Feb 2, 2017 at 16:48 | comment | added | Charles Rezk | @DenisNardin I claim that epimorphisms are not boring! For instance, epimorphisms of $\infty$-groupoids. | |
| Feb 2, 2017 at 16:47 | answer | added | Charles Rezk | timeline score: 12 | |
| Feb 2, 2017 at 15:04 | comment | added | Denis Nardin | Monomorphisms and epimorphisms tend to be quite boring: a monomorphism in spaces is just an inclusion of connected components and a map $f:x\to y$ in an ∞-category C is a monomorphism (resp. epimorphism) iff for every $z\in C$ the map $f_*:\mathrm{Map}_C(z,x)\to \mathrm{Map}_C(z,y)$ (resp. $f^*:\mathrm{Map}_C(y,z)\to \mathrm{Map}_C(x,z)$) is a monomorphism in spaces. | |
| Feb 2, 2017 at 3:07 | history | edited | David White | CC BY-SA 3.0 |
edited title
|
| Feb 1, 2017 at 22:26 | answer | added | fosco | timeline score: 6 | |
| Jan 31, 2017 at 17:17 | history | edited | Saal Hardali |
edited tags
|
|
| Jan 31, 2017 at 17:05 | history | asked | Saal Hardali | CC BY-SA 3.0 |