nLab Ivan Di Liberti

Redirected from "real spin representations".

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 the Higher Topology? and the Scott adjunction:

Generalizing Lawvere theories to partial algebraic theories:

On geometric aspects of coherent topoi and their relationship to ultrastructures:

On judgements, natural deduction and dependent type theory:

On bipresentable 2-categories and their relations to logical doctrines:

Last revised on May 18, 2025 at 18:41:49. See the history of this page for a list of all contributions to it.