The Euler characteristic of a category
Tom Leinster
Abstract
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Mobius-Rota inversion from posets to categories.
Create a lesson
Related papers
Models for dagger (∞,1)-categories I: Dagger simplicial sets and unitary cores
Keima Akasaka
The (∞,∞)-category of spans
Jonte Gödicke, Quoc P. Ho, Walker H. Stern
Factorization Systems on ∞-Categories: Un/Straightening and Monadicity
Thorger Geiß
A categorical model structure for generalized algebraic theories
Daniel Almeida
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu
Finitistic dimensions in triangulated categories with a compact silting generator
Xiaoyan Yang