nLab Luis Scoccola

Selected writings

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:

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

Relevant entries

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.