add condensedCategorial foundations of formalized condensed mathemati…

…cs (#569)

lean.bib

@@ -1,6 +1,18 @@
 
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
+@Article{         ABKNT_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}
+}
+
 @InProceedings{   AGLST23,
   author        = {Avigad, Jeremy and Goldberg, Lior and Levit, David and
                   Seginer, Yoav and Titelman, Alon},