2 citations · 4 across the 11 of their papers we have counts for
1 paper · 1 filter
Benjamin Antieau
We give a direct proof of the fact that the animation of the opposite of the category of finite sets is a 1-category.