Type: Article
Publication Date: 2008-01-01
Citations: 118
DOI: https://doi.org/10.4171/dm/240
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 is proved for the cardinality of a colimit of sets, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Rota's Möbius inversion from posets to categories.