The Euler characteristic of a category
Documenta mathematica, Tome 13 (2008), pp. 21-49
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.
Classification :
05C50, 18F99, 55U99, 57N65
Mots-clés : Euler characteristic, finite category, inclusion-exclusion, Möbius inversion, cardinality of colimit
Mots-clés : Euler characteristic, finite category, inclusion-exclusion, Möbius inversion, cardinality of colimit
@article{10_4171_dm_240,
author = {Tom Leinster},
title = {The {Euler} characteristic of a category},
journal = {Documenta mathematica},
pages = {21--49},
year = {2008},
volume = {13},
doi = {10.4171/dm/240},
url = {http://geodesic.mathdoc.fr/articles/10.4171/dm/240/}
}
Tom Leinster. The Euler characteristic of a category. Documenta mathematica, Tome 13 (2008), pp. 21-49. doi: 10.4171/dm/240
Cité par Sources :