Wilfred Offord
YOU?
Author Swipe
View article: Beyond Eckmann-Hilton: Commutativity in Higher Categories
Beyond Eckmann-Hilton: Commutativity in Higher Categories Open
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 higher-dimensional generalisation of the Eckmann-Hilton argu…
View article: Naturality for higher-dimensional path types
Naturality for higher-dimensional path types Open
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 local tensor product with a directed interval, and behaves …