Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.0835

The Euler characteristic of a category as the sum of a divergent series

Tom Leinster
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Euler characteristic of a cell complex is often thought of as the alternating sum of the number of cells of each dimension. When the complex is infinite, the sum diverges. Nevertheless, it can sometimes be evaluated; in particular, this is possible when the complex is the nerve of a finite category. This provides an alternative definition of the Euler characteristic of a category, which is in many cases equivalent to the original one (math.CT/0610260).

Explore related subjects

math.CTmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tom Leinster. 2007-07-05. The Euler characteristic of a category as the sum of a divergent series. https://arxiv.org/abs/0707.0835

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Left properness of Moore flows

We introduce reparametrization categories with cuts. For every such category $\mathcal{P}$, the tensor product of two objectwise weak homotopy equivalences of $\mathcal{P}$-spaces is an objectwise weak homotopy equivalence, and the q-model structure on $\mathcal{P}$-flows is left proper. The reparametrization categories $\mathcal{G}$ and $\mathcal{M}$, as well as the terminal category $\mathbf{1}$, have cuts. The terminal category recovers the left properness of the q-model structure on ordinary flows. We also give a symmetric reparametrization category with cuts and a strict unit. This category is not equivalent to $\mathbf{1}$.

math.CT↗
arXiv2026

Fiber product of condensable algebras and critical points of boundary phase transitions

In this work, we propose a mathematical description of the critical point of boundary phase transitions in 2+1D topological orders. Given two boundary phases, $\mathcal{C}_A$ and $\mathcal{C}_B$, with corresponding Lagrangian algebras $A$ and $B$ in a 2+1D topological order $\mathcal{C}$, respectively, we propose that the critical point of the phase transition between these two phases, if it exists, corresponds to $D = A \times_{M} B$, which is the fiber product of $A$ and $B$ over $A$-$B$-algebra $M$. We prove that $D$ is also a condensable algebra. Additionally, we present an alternative classification of condensable algebras in $Z(Vec_G^ω)$ and reveal splitting phenomenon that arises during the condensation of certain algebras. We also perform explicit computations for the condensable algebras within several examples of $Z(Vec_G^ω)$, covering both Abelian and non-Abelian groups $G$.

math.CT↗
arXiv2026

Algebra of spectral duality structures

This paper establishes the algebraic and categorical foundations of spectral duality structures (SDS). We show that the class of all SDS admits the structure of a graded symmetric monoidal category, where the degree $K$ is the fundamental invariant indexing the strata. We define operations of Cartesian product and disjoint union, morphisms preserving involution and weights, and prove that $C^\ast=1/(1+\sqrt K)$ is a functor constant on each stratum. We classify objects up to isomorphism by the combinatorial type $(k,f)$, the degree $K$, and a multiset of inversion classes $[r]=\{r,r^{-1}\}$. In each degree, skeletons are exactly the finite $C_2$-sets over the additive group of the reals with $C_2$ acting by $t\mapsto -t$, which explains the monoidal structure and identifies the classification with the decomposition into orbits. Furthermore, we prove that the response rank is the rank of an explicit matrix built from the amplitudes and the weights, and hence exactly the number of non-trivial pairs $k$ under the full-rank condition, and we connect the categorical structure with the Fisher--Rao geometry of Paper V. The SDS, originally discovered in stochastic resetting problems, is thus an autonomous mathematical object with a rich algebraic structure and a natural geometric realisation.

math.CT↗