Arboreal Categories: An Axiomatic Theory of Resources

DOI10.46298/lmcs-19(3:14)2023arXiv2102.08109MaRDI QIDQ6135784

Luca Reggio, Samson Abramsky

Publication date: 26 August 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.08109

zbMATH Keywords

coalgebraembeddinggamebisimulationrelational structuresresourcesfinite model theorycomonadfactorisation systemopen maps

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Arboreal categories and equi-resource homomorphism preservation theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• On the expressive power of Datalog: tools and a case study.
• Treewidth. Computations and approximations
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Bisimulation from open maps
• Tree-depth, subgraph coloring and homomorphism bounds
• Categories of continuous functors. I
• Homomorphism preservation theorems
• Structure and Power: an Emerging Landscape
• Relating Structure and Power: Comonadic Semantics for Computational Resources
• Relating structure and power: Comonadic semantics for computational resources
• Completely Distributive Complete Lattices

This page was built for publication: Arboreal Categories: An Axiomatic Theory of Resources