TY  - RPRT
TI  - Categorical Foundations of Formalized Condensed Mathematics
AU  - Dagur Asgeirsson
AU  - Riccardo Brasca
AU  - Nikolas Kuhn
AU  - Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
AU  - Adam Topaz
PY  - 2024
UR  - https://arxiv.org/abs/2407.12840
ID  - 2407.12840
ER  -