A Fibrational Account of Local States

DOI10.1109/LICS.2015.45zbMATH Open1395.18003OpenAlexW2115785609MaRDI QIDQ4635822FDOQ4635822

Authors: Kenji Maillard, Paul-André Melliès 

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.45

Recommendations

• Indexed Lawvere theories for local state
• Local states in string diagrams
• Fibrewise separation axioms for locales
• Local spin foams
• Local fibrewise category
• scientific article; zbMATH DE number 269627
• State graphs and fibered state surfaces
• scientific article; zbMATH DE number 66065
• Constructing local generic formal fibers
• Fibre bundles over orbits of states

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55) Fibered categories (18D30)

Cited In (6)

• Monoidal-closed categories of tree automata
• Localisable monads
• Local states in string diagrams
• Indexed Lawvere theories for local state
• Handling local state with global state
• Local local reasoning: a BI-hyperdoctrine for full ground store

This page was built for publication: A Fibrational Account of Local States

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635822)