Ivan Di Liberti works in categorical logic, general category theory and formal category theory.
A geometric account on the Scott adjunction? and the duality between topoi and ionads:
On geometric aspects of coherent topoi and their relationship to ultrastructures:
On bipresentable 2-categories and their relations to logical doctrines.
On judgements, natural deduction and dependent type theory:
On the adjoint functor theorem in the context of lax-idempotent 2-monads:
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]
Generalizing Lawvere theories to partial algebraic theories:
A formal category theoretic account of Gabriel-Ulmer dualities using KZ-doctrines:
Last revised on February 18, 2025 at 15:21:48. See the history of this page for a list of all contributions to it.