nLab Luis Scoccola

Luis Nerio Scoccola

• personal page

• MathGenealogy page

• GoogleScholar page

• ResearchGate page

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)

On the object of integers as a higher inductive type in HoTT:

• Thorsten Altenkirch, Luis Scoccola: The Integers as a Higher Inductive Type, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020) 67–73 [arXiv:2007.00167, doi:10.1145/3373718.3394760]

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