The animation of the opposite of finite sets

2025/08/18 by Benjamin Antieau, Antieau, Benjamin
Social Sciences · #Mathematics Education and Teaching Techniques #math.AT #math.CT

paper · pdf · doi:10.48550/arxiv.2508.13106

openalex publication_date 2025/08/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Cited by

• Algebraic K-theory of coherent spaces

Related

• The category of finite strings
• Functors on the category of finite sets revisited
• Dynamics in the Category Set
• Finite Sets and Counting
• How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets