Luis Scoccola

activity

20192026

most citedNilpotent Types and Fracture Squares in Homotopy Type Theory

5 citations · 9 across the 4 of their papers we have counts for

collaborators

Showing math.ATShow all

2 papers · 1 filter

math.AT2021★ 4 cited

Approximate and discrete Euclidean vector bundles

Luis Scoccola, Jose A. Perea

We introduce $ε$ -approximate versions of the notion of Euclidean vector bundle for $ε \geq 0$ , which recover the classical notion of Euclidean vector bundle whe…

math.AT2019★ 5 cited

Nilpotent Types and Fracture Squares in Homotopy Type Theory

Luis Scoccola

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of…