Luis Scoccola

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