Search

• < Previous
• 1
• Next >

---

Arboreal Categories: An Axiomatic Theory of Resources

Samson Abramsky ; Luca Reggio.

Game comonads provide a categorical syntax-free approach to finite model theory, and their Eilenberg-Moore coalgebras typically encode important combinatorial parameters of structures. In this paper, we develop a framework whereby the essential properties of these categories of coalgebras are&nbsp;[&hellip;]

---

A duality theoretic view on limits of finite structures: Extended version

Mai Gehrke ; Tomáš Jakl ; Luca Reggio.

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be&nbsp;[&hellip;]

---