paper

The animation of the opposite of finite sets

arXiv:2508.13106

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.

final version, to appear in Philosophical Transactions A