Timeline for Weakening simplicial identities
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2014 at 15:57 | vote | accept | Dimitri Chikhladze | ||
| Apr 25, 2014 at 23:25 | vote | accept | Dimitri Chikhladze | ||
| Apr 26, 2014 at 11:43 | |||||
| Apr 25, 2014 at 20:26 | answer | added | Mike Shulman | timeline score: 4 | |
| Apr 24, 2014 at 22:33 | answer | added | Todd Trimble | timeline score: 8 | |
| Apr 24, 2014 at 21:13 | comment | added | Zhen Lin | One reasonable way of defining coherent simplicial objects in a (2, 1)-category $\mathfrak{K}$ is to define it to be a morphism from the nerve of $\mathbf{\Delta}^\mathrm{op}$ to the homotopy-coherent nerve of $\mathfrak{K}$ (regarded as a simplicially enriched category). More generally one could do this for any simplicially enriched category, or even a quasicategory, which is how Lurie defines groupoid objects in §6.1.2 of Higher topos theory. | |
| Apr 24, 2014 at 19:56 | history | asked | Dimitri Chikhladze | CC BY-SA 3.0 |