Follow
Ivan Di Liberti
Ivan Di Liberti
Postdoc, Gothenburg University
No verified email - Homepage
Title
Cited by
Cited by
Year
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
132021
General facts on the Scott Adjunction
I Di Liberti
Applied Categorical Structures, 1-23, 2022
122022
Enriched locally generated categories
I Di Liberti, J Rosický
Theory and Applications of Categories, 2022, 2020
92020
Codensity: Isbell duality, pro-objects, compactness and accessibility
I Di Liberti
Journal of Pure and Applied Algebra, 106379, 2020
82020
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
62021
Formal Model Theory & Higher Topology
I Di Liberti
arXiv preprint arXiv:2010.00319, 2020
62020
Weak saturation and weak amalgamation property
I Di Liberti
Journal of Symbolic Logic 84 (3), 929-936, 2019
62019
Bi-accessible and bipresentable 2-categories
I Di Liberti, A Osmond
arXiv preprint arXiv:2203.07046, 2022
52022
Towards Higher Topology
I Di Liberti
Journal of Pure and Applied Algebra, 2022, 2020
52020
The geometry of coherent topoi and ultrastructures
I Di Liberti
arXiv preprint arXiv:2211.03104, 2022
32022
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
32020
On the unicity of formal category theories
I Di Liberti, F Loregian
arXiv preprint arXiv:1901.01594, 2019
32019
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
22022
Homotopical algebra is not concrete
I Di Liberti, F Loregian
Journal of Homotopy and Related Structures 13 (3), 673-687, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20