19 citations · 37 across the 20 of their papers we have counts for
1 paper · 2 filters
Eric Finster, Alex Rice, Jamie Vicary
We present the first definition of strictly associative and unital ∞-category. Our proposal takes the form of a type theory whose terms describe the operations of such struc…