Timeline for Monomorphisms in $\mathcal{C}\!at_\infty$
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 10, 2019 at 19:27 | comment | added | Charles Rezk | The characterization I gave is basically obvious if you take complete Segal spaces as your model for $Cat_\infty$, btw. | |
| Nov 10, 2019 at 19:14 | comment | added | Tim Campion | Monomorphisms in $Cat_\infty$ are characterized this way in Secion 5.1 of Ayala-Francis-Rozenblyum. I'm not sure if that's the earliest reference. | |
| Nov 10, 2019 at 19:02 | history | edited | Questioner | CC BY-SA 4.0 |
added 239 characters in body
|
| Nov 10, 2019 at 18:14 | comment | added | Questioner | Somewhere along the way, I accidentally replaced (-1)-truncated map of hom-spaces with a bastardization of the characterization of (-1)-truncated spaces. I've corrected my post to undo that error. | |
| Nov 10, 2019 at 17:53 | vote | accept | Questioner | ||
| Nov 10, 2019 at 17:52 | history | edited | Questioner | CC BY-SA 4.0 |
deleted 15 characters in body
|
| Nov 10, 2019 at 17:37 | comment | added | Charles Rezk | $F$ is $(-1)$-truncated iff (i) each $C(X,Y)\to D(FX,FY)$ is a $(-1)$-truncated map of spaces which (ii) has all isos $FX\xrightarrow{\sim} FY$ in its effective image. | |
| Nov 10, 2019 at 16:47 | answer | added | Valery Isaev | timeline score: 4 | |
| Nov 10, 2019 at 11:25 | review | First posts | |||
| Nov 10, 2019 at 13:17 | |||||
| Nov 10, 2019 at 11:23 | history | asked | Questioner | CC BY-SA 4.0 |