| Functorial semantics for partial theories I Di Liberti, F Loregian, C Nester, P Sobociński Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 13 | 2021 |
| General facts on the Scott Adjunction I Di Liberti Applied Categorical Structures, 1-23, 2022 | 12 | 2022 |
| Enriched locally generated categories I Di Liberti, J Rosický Theory and Applications of Categories, 2022, 2020 | 12 | 2020 |
| Codensity: Isbell duality, pro-objects, compactness and accessibility I Di Liberti Journal of Pure and Applied Algebra, 106379, 2020 | 9 | 2020 |
| Accessibility and presentability in 2-categories I Di Liberti, F Loregian Journal of Pure and Applied Algebra, 2018 | 9* | 2018 |
| Bi-accessible and bipresentable 2-categories I Di Liberti, A Osmond arXiv preprint arXiv:2203.07046, 2022 | 7 | 2022 |
| Context, judgement, deduction G Coraglia, I Di Liberti arXiv preprint arXiv:2111.09438, 2021 | 7 | 2021 |
| Towards Higher Topology I Di Liberti Journal of Pure and Applied Algebra, 2022, 2020 | 7 | 2020 |
| Gabriel–Ulmer Duality for Topoi and its relation with site presentations I Di Liberti, J Ramos González Applied Categorical Structures 28 (6), 935-962, 2020 | 6 | 2020 |
| Formal model theory and higher topology I Di Liberti Mathematical Logic Quarterly, 2020 | 6 | 2020 |
| Weak saturation and weak amalgamation property I Di Liberti Journal of Symbolic Logic 84 (3), 929-936, 2019 | 6 | 2019 |
| The geometry of coherent topoi and ultrastructures I Di Liberti arXiv preprint arXiv:2211.03104, 2022 | 4 | 2022 |
| On the unicity of formal category theories I Di Liberti, F Loregian arXiv preprint arXiv:1901.01594, 2019 | 4 | 2019 |
| KZ-pseudomonads and Kan Injectivity I Di Liberti, G Lobbia, L Sousa arXiv preprint arXiv:2211.00380, 2022 | 3* | 2022 |
| Homotopical algebra is not concrete I Di Liberti, F Loregian Journal of Homotopy and Related Structures 13 (3), 673-687, 2018 | 3 | 2018 |
| Exponentiable Grothendieck categories in flat algebraic geometry I Di Liberti, JR González Journal of Algebra 604, 362-405, 2022 | 2 | 2022 |
| Sketches and Classifying Logoi I Di Liberti, G Lobbia arXiv preprint arXiv:2403.09264, 2024 | 1 | 2024 |
| Adjoint functor theorems for lax-idempotent pseudomonads N Arkor, I Di Liberti, F Loregian arXiv preprint arXiv:2306.10389, 2023 | 1 | 2023 |
| Topoi with enough points I Di Liberti, M Rogers arXiv preprint arXiv:2403.15338, 2024 | | 2024 |
| Duality for Coalgebras for Vietoris and Monadicity M Abbadini, I di Liberti The Journal of Symbolic Logic, 1-33, 2024 | | 2024 |
Fosco LoregianTallinna Tehnikaülikooli Küberneetika InstituutVerified email at taltech.ee
