105 citations · 106 across the 2 of their papers we have counts for
1 paper · 1 filter
Lukas Heidemann, David Reutter, Jamie Vicary
The theory of associative n-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant,…