9 citations · 11 across the 5 of their papers we have counts for
6 papers
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 …
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…
Framed Combinatorial Topology with Labels in -Categories
Lukas Heidemann
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of s…
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
Seyon Sivarajah, Lukas Heidemann, Alan Lawrence +1
We present Tierkreis, a higher-order dataflow graph program representation and runtime designed for compositional, quantum-classical hybrid algorithms. The design of the system is…
Zigzag normalisation for associative -categories
Lukas Heidemann, David Reutter, Jamie Vicary
The theory of associative -categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant,…
Frames in Pretriangulated Dg-Categories
Lukas Heidemann
Triangulated categories arising in algebra can often be described as the homotopy category of a pretriangulated dg-category, a category enriched in chain complexes with a natural n…