Most of what I do is motivated by logic, foundations of mathematics and foundations of geometry. Concretely, my work is in categorical logic, syntax-semantics dualities, topos theory, general category theory and formal category theory.
Academic life went as follows. Brno (Ph.D. under Jiří Rosický), Prague (Postdoc), Stockholm (Postdoc), Gothenburg (Postdoc, ongoing).
You can visit my webpage.
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 October 14, 2023 at 11:25:41. See the history of this page for a list of all contributions to it.