nLab Luis Scoccola

• website

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:

• 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)

Relevant entries

• mathematics presented in homotopy type theory

category: people