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 | 9 | 2020 |
Codensity: Isbell duality, pro-objects, compactness and accessibility I Di Liberti Journal of Pure and Applied Algebra, 106379, 2020 | 8 | 2020 |
Accessibility and presentability in 2-categories I Di Liberti, F Loregian Journal of Pure and Applied Algebra, 2018 | 7* | 2018 |
Context, judgement, deduction G Coraglia, I Di Liberti arXiv preprint arXiv:2111.09438, 2021 | 6 | 2021 |
Formal Model Theory & Higher Topology I Di Liberti arXiv preprint arXiv:2010.00319, 2020 | 6 | 2020 |
Weak saturation and weak amalgamation property I Di Liberti Journal of Symbolic Logic 84 (3), 929-936, 2019 | 6 | 2019 |
Bi-accessible and bipresentable 2-categories I Di Liberti, A Osmond arXiv preprint arXiv:2203.07046, 2022 | 5 | 2022 |
Towards Higher Topology I Di Liberti Journal of Pure and Applied Algebra, 2022, 2020 | 5 | 2020 |
The geometry of coherent topoi and ultrastructures I Di Liberti arXiv preprint arXiv:2211.03104, 2022 | 3 | 2022 |
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 | 3 | 2020 |
On the unicity of formal category theories I Di Liberti, F Loregian arXiv preprint arXiv:1901.01594, 2019 | 3 | 2019 |
KZ-pseudomonads and Kan Injectivity I Di Liberti, G Lobbia, L Sousa arXiv preprint arXiv:2211.00380, 2022 | 2* | 2022 |
Exponentiable Grothendieck categories in flat algebraic geometry I Di Liberti, JR González Journal of Algebra 604, 362-405, 2022 | 2 | 2022 |
Homotopical algebra is not concrete I Di Liberti, F Loregian Journal of Homotopy and Related Structures 13 (3), 673-687, 2018 | 1 | 2018 |
Topoi with enough points I Di Liberti, M Rogers arXiv preprint arXiv:2403.15338, 2024 | | 2024 |
Sketches and Classifying Logoi I Di Liberti, G Lobbia arXiv preprint arXiv:2403.09264, 2024 | | 2024 |
Duality for Coalgebras for Vietoris and Monadicity M Abbadini, I di Liberti The Journal of Symbolic Logic, 1-33, 2024 | | 2024 |
Adjoint functor theorems for lax-idempotent pseudomonads N Arkor, I Di Liberti, F Loregian arXiv preprint arXiv:2306.10389, 2023 | | 2023 |