The animation of the opposite of finite sets
Benjamin Antieau

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics Education and Teaching Techniques
