]]>
Urs comments on "derived stack" (4447)https://nforum.ncatlab.org/discussion/673/?Focus=4447#Comment_44472010-01-24T22:47:41+00:002024-03-29T07:43:10+00:00Urshttps://nforum.ncatlab.org/account/4/
did the following to derived stack:
polished the beginning
added section on "derived Yoneda embedding" highlighting a formally obvious but in application kind of remarkable aspect.