nLab Ivan Di Liberti

Redirected from "Ivan di Liberti".

Ivan Di Liberti works in categorical logic, general category theory and formal category theory.

Selected writings

On the non-concreteness of generic homotopy categories of model categories:

On formal category theory and formal aspects of general category theory:

On topos theory and fragments of geometric logic

More specifically, in Higher Topology? and the Scott adjunction:

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 June 2, 2025 at 07:47:03. See the history of this page for a list of all contributions to it.