Monoidal indeterminates and categories of possible worlds

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

Robert D. Tennent, Claudio Hermida

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

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?)
• 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?)
• 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?)
• 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?)
• Title not available (Why is that?)
• 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
• Parametricity and local variables
• From Algol to polymorphic linear lambda-calculus
• Semantical analysis of specification logic
• Computational effects and operations: an overview
• Traced monoidal categories
• Two-dimensional monad theory
• From comodels to coalgebras: state and arrays
• Lenses, fibrations and universal translations
• 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
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Full abstraction for the second order subset of an ALGOL-like language
• 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)