9 citations · 11 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.AT2024
Manifold Diagrams for Higher Categories
Lukas Heidemann
We develop a graphical calculus of manifold diagrams which generalises string and surface diagrams to arbitrary dimensions. Manifold diagrams are pasting diagrams for …
cs.LO2024
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…