The Euler characteristic of a category
范畴论
2010-02-04 v1 代数拓扑
组合数学
摘要
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.
引用
@article{arxiv.math/0610260,
title = {The Euler characteristic of a category},
author = {Tom Leinster},
journal= {arXiv preprint arXiv:math/0610260},
year = {2010}
}
备注
24 pages