Categorical Foundations of Formalized Condensed Mathematics. - Dagur Asgeirsson; Riccardo Brasca; Nikolas Kuhn; Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio; Adam Topaz (CoRR, 2024)