Conference item icon

Conference item

Arboreal categories and resources

Abstract:

We introduce arboreal categories, which have an intrinsic process structure, allowing dynamic notions such as bisimulation and back-and-forth games, and resource notions such as number of rounds of a game, to be defined. These are related to extensional or “static” structures via arboreal covers, which are resource-indexed comonadic adjunctions. These ideas are developed in a very general, axiomatic setting, and applied to relational structures, where the comonadic constructions for pebbling,...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.ICALP.2021.115

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0003-3921-6637
More by this author
Institution:
University of Oxford
Role:
Author
Publisher:
Schloss Dagstuhl Publisher's website
Volume:
198
Issue:
2021
Pages:
115:1–115:20
Series:
LIPIcs
Host title:
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Publication date:
2021-07-02
Acceptance date:
2021-04-22
Event title:
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Event location:
Glasgow, Scotland
Event website:
http://easyconferences.eu/icalp2021/
Event start date:
2021-07-12T00:00:00Z
Event end date:
2021-07-16T00:00:00Z
DOI:
EISSN:
1868-8969
ISBN:
9783959771955
Language:
English
Keywords:
Pubs id:
1175085
Local pid:
pubs:1175085
Deposit date:
2021-05-08

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP