Timeline for Left Kan extension along Yoneda of pullback-preserving functor preserving pullbacks
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2022 at 16:13 | comment | added | Tim Campion | This fact has been discussed now by Rezk in an unpublished manuscript on sound $\infty$-doctrines here (see the discussion of "distilled" colimits at several points). The upshot is that $\infty$-categorically, the doctrine of pullbacks is sound, a statement which fails 1-categorically! | |
| Aug 21, 2019 at 0:06 | answer | added | Simon Henry | timeline score: 2 | |
| May 20, 2018 at 15:00 | vote | accept | Alexander Körschgen | ||
| Apr 30, 2018 at 16:33 | answer | added | Simon Henry | timeline score: 11 | |
| Apr 30, 2018 at 16:07 | history | asked | Alexander Körschgen | CC BY-SA 3.0 |