A Fibrational Account of Local States

DOI10.1109/LICS.2015.45MaRDI QIDQ4635822zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

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

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)