Structure and Power: an Emerging Landscape

DOI10.3233/FI-222116OpenAlexW4293572572MaRDI QIDQ5038563

Samson Abramsky

Publication date: 7 October 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

Arboreal categories and equi-resource homomorphism preservation theorems, Arboreal Categories: An Axiomatic Theory of Resources

Cites Work

• Abstract elementary classes and accessible categories
• A note on graded modal logic
• A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem
• Whither semantics?
• Tree-depth, subgraph coloring and homomorphism bounds
• An application of games to the completeness problem for formalized theories
• Homomorphism preservation theorems
• Relating Structure and Power: Comonadic Semantics for Computational Resources
• The sheaf-theoretic structure of non-locality and contextuality
• Relating structure and power: Comonadic semantics for computational resources
• Contextuality, Cohomology and Paradox
• Operations with structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item