3 papers
math.CT2025
Beyond Eckmann-Hilton: Commutativity in Higher Categories
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord +2
We show that in a weak globular -category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a…
math.CT2025
Naturality for higher-dimensional path types
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord +2
We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a…
math.CT2024
CaTT contexts are finite computads
Thibaut Benjamin, Ioannis Markakis, Chiara Sarti
Two novel descriptions of weak Ï-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are Ï-categories…