Towards a type theory for (∞, ω)-categories
, HoTT-UF 2025, Genova, Italy
A presentation about CellTT, a directed homotopy type theory aimed to model weak (∞, ω)-categories. The talk was given at the occasion of the HoTT-UF Workshop 2025. This work is part of my thesis, under the supervision of Samuel Mimram.