Tags: #projects/active #projects/notes/reading #resources/papers Formal loop spaces Higher categorical algebra attachments/Higher Categorical Algebra.pdf Flat families