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

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

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

Computer Science > Logic in Computer Science

Title: The Pebble-Relation Comonad in Finite Model Theory

Abstract: The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the pebbling comonad specifies equivalences under different fragments and extensions of infinitary k-variable logic. Moreover, the coalgebras over this pebbling comonad characterise treewidth and correspond to tree decompositions.
In this paper we introduce the pebble-relation comonad that characterises pathwidth and whose coalgebras correspond to path decompositions. We further show how the coKleisli morphisms of the pebble-relation comonad provide a categorical interpretation to Duplicator's winning strategies in Dalmau's pebble-relation game. We then provide a similar treatment to the corresponding coKleisli isomorphisms via a novel bijective pebble-game with a hidden pebble. Finally, we prove a new Lov\'asz-type theorem relating pathwidth to the restricted conjunction fragment of k-variable logic with counting quantifiers using a recently developed categorical generalisation.
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2110.08196 [cs.LO]
  (or arXiv:2110.08196v1 [cs.LO] for this version)

Submission history

From: Yoàv Montacute [view email]
[v1] Fri, 15 Oct 2021 16:52:34 GMT (34kb)

Link back to: arXiv, form interface, contact.