Ivan Di Liberti is a postdoc working in categorical logic, topos theory, general category theory and formal category theory. Academic life: Brno (Ph.D. under Jiří Rosický), Prague (Postdoc), Stockholm (Postdoc), Gothenburg (Postdoc, ongoing).
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]
Last revised on April 15, 2024 at 21:08:10. See the history of this page for a list of all contributions to it.