The animation of the opposite of finite sets
Benjamin Antieau
公開日: 2025/8/18
Abstract
We give a direct proof of the fact that the animation of the opposite of the category of finite sets is a 1-category.
Benjamin Antieau
公開日: 2025/8/18
We give a direct proof of the fact that the animation of the opposite of the category of finite sets is a 1-category.