1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
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,…
math.AT2020
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…