Lukas Heidemann

From MaRDI portal
Person:6341693

Available identifiers

zbMath Open heidemann.lukasMaRDI QIDQ6341693

List of research outcomes





PublicationDate of PublicationType
Zigzag normalisation for associative \(n\)-categories2024-12-06Paper
Framed Combinatorial Topology with Labels in $\infty$-Categories2023-05-10Paper
Zigzag normalisation for associative $n$-categories2022-05-18Paper
Frames in Pretriangulated Dg-Categories2020-05-29Paper
homotopy.io: a proof assistant for finitely-presented globular $n$-categoriesN/APaper

Research outcomes over time

This page was built for person: Lukas Heidemann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6341693&oldid=37791691"
Powered by MediaWiki