@misc{indiciaed0e60de2127e,
  title = {Categorical Foundations of Formalized Condensed Mathematics},
  author = {Dagur Asgeirsson and Riccardo Brasca and Nikolas Kuhn and Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio and Adam Topaz},
  year = {2024},
  url = {https://arxiv.org/abs/2407.12840},
  note = {Source identifier: 2407.12840}
}