75 citations · 544 across the 41 of their papers we have counts for
1 paper · 2 filters
Krzysztof Bar, Jamie Vicary
We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditio…