Daniel Carranza

activity

20202026

most citedCubical setting for discrete homotopy theory, revisited

3 citations · 5 across the 13 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

math.AT2026

Autoformalizing the calculation of $π_{3} (S^{2})$

Daniel Carranza, Chunyi Liu, Emily Riehl +1

We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of $π_{3} (S^{2})$ in agda-unimath using Codex.

math.AT2026

Discrete homotopy hypothesis for n-types

Daniel Carranza, Chris Kapulkin

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse…

Autoformalizing the calculation of π3​(S2)

Discrete homotopy hypothesis for n-types

Autoformalizing the calculation of $π_{3} (S^{2})$