Ivan Di Liberti works in categorical logic, general category theory and formal category theory.
On the non-concreteness of generic homotopy categories of model categories:
On formal category theory and formal aspects of general category theory:
Ivan Di Liberti, Simon Henry, Mike Lieberman, Fosco Loregian, Formal category theory, course notes (2017) [pdf, pdf]
Ivan Di Liberti, Fosco Loregian, On the unicity of formal category theories [arXiv:1901.01594]
Ivan Di Liberti, Fosco Loregian, Accessibility and Presentability in 2-Categories, Journal of Pure and Applied Algebra 227 1 (2023) [arXiv:1804.08710, doi:10.1016/j.jpaa.2022.107155]
Nathanael Arkor, Ivan Di Liberti, Fosco Loregian, Adjoint functor theorems for lax-idempotent pseudomonads, [arXiv:2306.10389]
On topos theory and fragments of geometric logic
More specifically, in Higher Topology? and the Scott adjunction:
Ivan Di Liberti: The Scott adjunction [arXiv:2009.07320]
Ivan Di Liberti: General facts on the Scott Adjunction, Applied Categorical Structures 30 (2022) 569–591 [arXiv:2009.14023, doi:10.1007/s10485-021-09666-6]
Ivan Di Liberti, Towards Higher Topology [arXiv:2009.14145]
Ivan Di Liberti, The geometry of coherent topoi and Ultrastructures [arXiv:2211.03104]
Generalizing Lawvere theories to partial algebraic theories:
On judgements, natural deduction and dependent type theory:
On bipresentable 2-categories and their relations to logical doctrines:
Last revised on December 18, 2025 at 14:39:13. See the history of this page for a list of all contributions to it.