Timeline for Limits in an $(\infty,1)$-category
Current License: CC BY-SA 3.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 25, 2017 at 10:35 | comment | added | Saal Hardali | What I mean is your answer does convince me that maps into limits and maps out of colimits are still easy to describe (just as in ordinary category theory). However It still seems to me that maps out of limits and into colimits (where in ordinary category theory you use set theoretic models to describe) are immensely more mysterious in the $\infty$-setting where set theoretic models are often not very useful (either don't exit or are too huge for practical purposes). I guess this is where one needs to turn to some model category and compute with resolution etc. | |
Jan 25, 2017 at 10:25 | comment | added | Saal Hardali | I was under the impression that even in ordinary category theory not every colimit is formal (can be computed in the presheaf category). Care to elaborate? | |
Oct 31, 2011 at 2:58 | history | answered | Akhil Mathew | CC BY-SA 3.0 |