We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Locally-finite extensive categories, their semi-rings, and decomposition to connected objects

Abstract: Let $\mathcal C$ be the category of finite graphs. Lov\`{a}sz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of natural numbers. Our aim is to generalize this result to other categories. For this, one crucial property is that every object decomposes to a finite coproduct of connected objects. We show that a locally-finite extensive category satisfies this condition. Conversely, a category where any object is decomposed into a finite coproduct of connected objects is shown to be extensive. The decomposition turns out to be unique. Using these results, we give some sufficient conditions that the semi-ring (the ring) of isomorphism classes of a locally finite category embeds to the direct product of natural numbers (integers, respectively). Such a construction of rings from a category is a most primitive form of Burnside rings and Grothendieck rings.
Subjects: Category Theory (math.CT); Combinatorics (math.CO)
MSC classes: 05C60 (Primary) 18A20, 18B50 (Secondary)
Cite as: arXiv:2207.05702 [math.CT]
  (or arXiv:2207.05702v2 [math.CT] for this version)

Submission history

From: Shoma Fujino [view email]
[v1] Tue, 12 Jul 2022 17:24:57 GMT (12kb)
[v2] Wed, 13 Jul 2022 08:46:10 GMT (12kb)

Link back to: arXiv, form interface, contact.