nLab nLab materials

Supplementary materials for $n$Lab entries that go beyond what reasonably fits into an Instiki webpage.

---

Full LaTeX sources are provided in the .zip files. If you work on materials, please edit the sources and upload the update here.

• nLab materials: Cyclification (2026-10-06) [pdf, zip]

  (on cyclification)

• nLab materials: Morse–Bott Theory of Free Loop Spaces (2026-10-08) [main.pdf, sources.zip, lean.zip]

  (on Morse-Bott theory of free loop spaces of Riemannian manifolds)

• …

• …

• …

---