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

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

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

Mathematics > Category Theory

Title: Discrete density comonads and graph parameters

Abstract: Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in terms of their Eilenberg-Moore coalgebras. As a result, a number of results from finite model theory, such as preservation theorems and homomorphism counting theorems, have been formalised and parameterised by comonads, giving rise to new results simply by varying the comonad.
In this paper we study the limits of the comonadic approach in the combinatorial and homomorphism-counting aspect of the theory, regardless of whether any model comparison games are involved. We show that any standard graph parameter has a corresponding comonad, classifying the same class. This comonad is constructed via a simple Kan extension formula, making it the initial solution to this problem and, furthermore, automatically admitting a homomorphism-counting theorem.
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
DOI: 10.1007/978-3-031-10736-8_2
Cite as: arXiv:2205.06589 [math.CT]
  (or arXiv:2205.06589v2 [math.CT] for this version)

Submission history

From: Tomáš Jakl [view email]
[v1] Fri, 13 May 2022 12:24:29 GMT (21kb)
[v2] Wed, 25 May 2022 13:53:35 GMT (21kb)

Link back to: arXiv, form interface, contact.