3 citations · 3 across the 4 of their papers we have counts for
5 papers
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 h…
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…
homotopy.io: a proof assistant for finitely-presented globular -categories
Nathan Corbyn, Lukas Heidemann, Nick Hu +3
We present the proof assistant homotopy.io for working with finitely-presented semistrict higher categories. The tool runs in the browser with a point-and-click interface, allowing…
The theory and applications of anticolimits
Calin Tataru, Jamie Vicary
Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introdu…
Computads for weak -categories as an inductive type
Christopher J. Dean, Eric Finster, Ioannis Markakis +2
We give a new description of computads for weak globular -categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads,…