Ivan Di Liberti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bi-accessible and bipresentable 2-categories Applied Categorical Structures	2025-01-10	Paper
Formal model theory and higher topology Mathematical Logic Quarterly (MLQ)	2024-06-25	Paper
Adjoint functor theorems for lax-idempotent pseudomonads	2023-06-17	Paper
The geometry of Coherent topoi and Ultrastructures	2022-11-06	Paper
KZ-pseudomonads and Kan Injectivity	2022-11-01	Paper
Accessibility and presentability in 2-categories Journal of Pure and Applied Algebra	2022-08-04	Paper
General facts on the Scott adjunction Applied Categorical Structures	2022-05-19	Paper
Exponentiable Grothendieck categories in flat algebraic geometry Journal of Algebra	2022-05-16	Paper
Enriched locally generated categories	2022-04-07	Paper
Enriched locally generated categories (available as arXiv preprint)	2022-04-07	Paper
Bi-accessible and bipresentable 2-categories	2022-03-14	Paper
Context, Judgement, Deduction	2021-11-17	Paper
Towards higher topology Journal of Pure and Applied Algebra	2021-09-17	Paper
Gabriel-Ulmer duality for topoi and its relation with site presentations Applied Categorical Structures	2021-05-11	Paper
Functorial Semantics for Partial Theories	2020-11-12	Paper
Formal Model Theory & Higher Topology	2020-09-29	Paper
The Scott adjunction	2020-09-15	Paper
Codensity: Isbell duality, pro-objects, compactness and accessibility Journal of Pure and Applied Algebra	2020-05-04	Paper
Weak saturation and weak amalgamation property Journal of Symbolic Logic	2019-09-17	Paper
On the unicity of formal category theories	2019-01-06	Paper
Homotopical algebra is not concrete Journal of Homotopy and Related Structures	2018-10-12	Paper
Duality for coalgebras for Vietoris and monadicity (available as arXiv preprint)	N/A	Paper
Sketches and Classifying Logoi (available as arXiv preprint)	N/A	Paper
Topoi with enough points (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Ivan Di Liberti