Monoidal indeterminates and categories of possible worlds

DOI10.1016/J.TCS.2012.01.001zbMATH Open1281.68148OpenAlexW1976985540MaRDI QIDQ418809FDOQ418809

Authors: Claudio Hermida, Robert D. Tennent 

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.001

Recommendations

• Monoidal indeterminates and categories of possible worlds
• A Linear Category of Polynomial Functors (extensional part)
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Languages for monoidal categories
• Polynomial functors and polynomial monads

zbMATH Keywords

universalitysymmetric monoidal categoriesindeterminatesindexed Lawvere theorypossible-world semantics

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Braided tensor categories
• Combining effects: sum and tensor
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parametricity and local variables
• Title not available (Why is that?)
• From Algol to polymorphic linear lambda-calculus
• Semantical analysis of specification logic
• Computational effects and operations: an overview
• Title not available (Why is that?)
• Traced monoidal categories
• Two-dimensional monad theory
• From comodels to coalgebras: state and arrays
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras and update strategies
• Lenses, fibrations and universal translations
• Title not available (Why is that?)
• Title not available (Why is that?)
• The uniformity principle on traced monoidal categories
• Deductive systems and categories
• Categorical logic of names and abstraction in action calculi
• Global State Considered Helpful
• A fully abstract model for the \(\pi\)-calculus.
• Semantical analysis of specification logic. II
• Abstract models of storage
• Syntactic control of interference revisited
• Coherence in substructural categories
• Semantics for local computational effects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Full abstraction for the second order subset of an ALGOL-like language
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages

Cited In (4)

• Categorical foundations of gradient-based learning
• Universal Properties in Quantum Theory
• Effect algebras, presheaves, non-locality and contextuality
• Bennett and Stinespring, together at last

This page was built for publication: Monoidal indeterminates and categories of possible worlds

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