Benjamin Antieau

The animation of the opposite of finite sets

We give a direct proof of the fact that the animation of the category Finop is a 1-category. This article is part of the theme issue 'Derived Lie algebras in geometry and topology'.