arXiv Science⌕ 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

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations

Hasegawa showed that control flow in programming languages---while loops and if-then-else statements---can be modeled using traced cocartesian categories, such as the category Set_* of pointed sets. In this paper we define an operad W of wiring diagrams that provides syntax for categories whose control flow moreover includes data transformations, including deleting, duplicating, permuting, and applying pre-specified functions to variables. In the most basic version, the operad underlies Int(Poly_*), where Int(T) denotes the free compact category on a traced category T, as defined by Joyal, Street, and Verity; to do so, we show that Poly_*, as well as any multivariate version of it, is traced. We show moreover that whenever T is uniform---a condition also defined by Hasegawa and satisfied by Poly_*---the resulting Int-construction extends to a double category IInt(T), which is compact in the sense of Patterson. Finally, we construct an operational structure on the double categories IInt(Poly_*) and IInt(Set_*) by which one can track trajectories as they move through the control flow associated to a wiring diagram, and we prove that the resulting operational semantics is computationally adequate, in the sense of Plotkin, for the denotational semantics in which a filled wiring diagram evaluates to a partial function.

math.CT↗
arXiv2026

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising from the Hyland, Johnstone and Pitts tripos-to-topos construction. We investigate the common geometric structure underlying these classes by developing an algebraic abstraction of localic presheaves, localic sheafification, and the role of supercompactification in the Comparison Lemma. The resulting framework applies to a broad class of toposes arising from the tripos-to-topos construction, including all $\set$-based triposes. These results establish a common geometric framework encompassing both localic and realizability toposes.

math.CT↗
arXiv2026

New examples of non-unique enhancements for triangulated categories

We present a general procedure for constructing triangulated categories, linear over a field, with distinct enhancements. Some of our examples can be equipped with a (non-degenerate) t-structure, thereby showing that the existence of a t-structure does not imply uniqueness of enhancements, whether in the strong or weak sense (depending on the example).

math.CT↗