nLab Daniel Carranza

• personal page

Selected writings

On the Hurewicz theorem for cubical homology:

• Daniel Carranza, Chris Kapulkin, Andrew Tonks: The Hurewicz theorem for cubical homology, Mathematische Zeitschrift 305 61 (2023) [doi:10.1007/s00209-023-03352-0, arXiv:2207.12500]

On a calculus of fractions generalized from categories to quasi-categories (“$(\infty,1)$-calculus of fractions”, for localization of $(\infty,1)$-categories):

• Daniel Carranza, Chris Kapulkin, Zachery Lindsey, Calculus of Fractions for Quasicategories [arXiv:2306.02218]

On a simple proof of the Hurewicz theorem for cubical sets,

• Daniel Carranza, Chris Kapulkin, Andrew Tonks, The Hurewicz theorem for cubical homology, Mathematische Zeitschrift (2023) 305:61 Doi, earlier ArXiv preprint

exposition:

• Daniel Carranza, Calculus of Fractions for Quasicategories (Part II), talk at CQTS (25 Oct 2023) [video:YT]

On autoformalization with HoTT targets (Agda):

• Daniel Carranza, Chunyi Liu, Emily Riehl, Egbert Rijke: Autoformalizing the calculation of $\pi_3(S^2)$ [arXiv:2608.23721]

category: people