nLab Ivan Di Liberti

Redirected from "Ivan di Liberti".

Ivan Di Liberti is a postdoc working in categorical logic, general category theory and formal category theory.

Selected writings

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:

On formal category theory:

A formal category theoretic account of Gabriel-Ulmer dualities using KZ-doctrines:

Last revised on September 7, 2024 at 20:17:57. See the history of this page for a list of all contributions to it.