Ivan Di Liberti

Available identifiers

Publication	Date of Publication	Type
Bi-accessible and bipresentable 2-categories	2025-01-10	Paper
Formal model theory and higher topology	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	2022-08-04	Paper
General facts on the Scott adjunction	2022-05-19	Paper
Exponentiable Grothendieck categories in flat algebraic geometry	2022-05-16	Paper
Enriched Locally Generated Categories	2022-04-07	Paper
Bi-accessible and bipresentable 2-categories	2022-03-14	Paper
Context, Judgement, Deduction	2021-11-17	Paper
Towards higher topology	2021-09-17	Paper
Gabriel-Ulmer duality for topoi and its relation with site presentations	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	2020-05-04	Paper
WEAK SATURATION AND WEAK AMALGAMATION PROPERTY	2019-09-17	Paper
On the unicity of formal category theories	2019-01-06	Paper
Homotopical algebra is not concrete	2018-10-12	Paper
Duality for coalgebras for Vietoris and monadicity	N/A	Paper
Sketches and Classifying Logoi	N/A	Paper
Topoi with enough points	N/A	Paper

This page was built for person: Ivan Di Liberti