Publications

• Bi-accessible and bipresentable 2-categories.

  Conditionally accepted by Applied Categorical Structures. Oct 2024. j/w Axel Osmond.

• Adjoint functor theorems for lax-idempotent pseudomonads.

  Theory and Applications of Categories. May 2024. j/w Nathanael Arkor, Fosco Loregian.

• Context, Judgement, Deduction.

  Accepted by Proceedings of CatMi 2023. May 2024. j/w Greta Coraglia.

• Coalgebras for Vietoris and monadicity.

  The Journal of Symbolic Logic. Feb 2024. j/w Marco Abbadini.

• The geometry of coherent topoi and Ultrastructures.

  Conditionally accepted by The Journal of Symbolic Logic. Feb 2024.

• Formal Model Theory & Higher Topology.

  Mathematical Logic Quarterly. Nov 2023.

• KZ-pseudomonads and Kan Injectivity.

  Theory and Applications of Categories. July 2023. j/w Gabriele Lobbia, Lurdes Sousa.

• Accessibility and presentability in 2-categories.

  Journal of Pure and Applied Algebra May 2022. j/w Fosco Loregian.

• Exponentiable Grothendieck categories in flat Algebraic Geometry.

  Journal of Algebra. Mar 2022. j/w Julia Ramos González.

• Enriched locally generated categories.

  Theory and Applications of Categories. Mar 2022. j/w Jiří Rosický.

• General facts on the Scott Adjunction.

  Applied Categorical Structures. Sept 2021.

• Towards Higher Topology.

  Journal of Pure and Applied Algebra. May 2021.

• Functorial semantics for partial theories.

  ACM Principles of Programming Languages 2021 (POPL21). Oct 2020. j/w Fosco Loregian, Chad Nester, Pawel Sobocinski.

• Gabriel-Ulmer duality for topoi and its relation with site presentations.

  Applied Categorical Structures. Aug 2020. j/w Julia Ramos González.

• Codensity: Isbell duality, pro-objects, compactness and accessibility.

  Journal of Pure and Applied Algebra. Apr 2020.

• Weak saturation and weak amalgamation property.

  The Journal of Symbolic Logic. Jul 2019.

• Homotopical Algebra is not concrete.

  Journal of Homotopy and Related Structures. Feb 2018. j/w Fosco Loregian.

Preprints

• Topoi with enough points.

  Mar 2024. j/w Morgan Rogers. Submitted to Documenta Mathematica.

• Sketches and Classifying Logoi.

  Mar 2024. j/w Gabriele Lobbia. Submitted to Advances in Mathematics.

Notes with no intention of publication

• On the unicity of formal category theories.

  Jan 2019. j/w Fosco Loregian. Never finished. The community seem to have now digested the intended wisdom of the paper.

Ph.D thesis

• The Scott adjunction.

  Sept 2020. Doctoral dissertation.