The animation of the opposite of finite sets

TL;DR

This paper provides a direct proof that the animation of the opposite category of finite sets forms a 1-category, clarifying a specific categorical construction.

Contribution

It offers a novel direct proof establishing the 1-category structure of the animation of the opposite of finite sets.

Findings

Confirmed the 1-category structure of the animation of the opposite of finite sets

Provided a new direct proof method for categorical animations

Clarified the properties of the animation in this context

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.