On persistent homotopy theory:

- Edoardo Lanari, Luis Scoccola,
*Rectification of interleavings and a persistent Whitehead theorem*, Algebraic & Geometric Topology (to appear), $[$arXiv:2010.05378$]$

On localization (in algebraic topology) formulated in modal homotopy type theory:

- J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola,
*Localization in Homotopy Type Theory*, Higher Structures, 4(1) (2020), 1-32 (arXiv:1807.04155)

Proof of the Hurewicz theorem in homotopy type theory, hence in general (∞,1)-toposes:

- Daniel Christensen, Luis Scoccola,
*The Hurewicz theorem in Homotopy Type Theory*(arXiv:2007.05833)

category: people

Last revised on July 17, 2022 at 01:16:20. See the history of this page for a list of all contributions to it.