add condensed

leanprover-community · Jan 8, 2025 · e7b6de8 · e7b6de8
1 parent 07d31ad
commit e7b6de8
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/lean.bib b/lean.bib
@@ -1839,3 +1839,12 @@ @InProceedings{   Zhang23
                   Proj construction, projective geometry},
   tags          = {formalization, lean3}
 }
+
+@article{ ASGEIRSSON_BRASCA_KUHN_NUCCIO_TOPAZ_2024,
+  title={Categorial foundations of formalized condensed mathematics},
+  DOI={10.1017/jsl.2024.69},
+  journal={The Journal of Symbolic Logic},
+  author={Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz, Adam},
+  year={2024},
+  pages={1-28}
+}