Monoidal indeterminates and categories of possible worlds

DOI10.1016/J.ENTCS.2009.07.083zbMATH Open1238.68081OpenAlexW2126973105MaRDI QIDQ2805149FDOQ2805149

Claudio Hermida, Robert D. Tennent

Publication date: 10 May 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.083

Recommendations

• Monoidal indeterminates and categories of possible worlds
• A Linear Category of Polynomial Functors (extensional part)
• Languages for monoidal categories
• On Categories of Monoids, Comonoids, and Bimonoids
• Polynomial functors and polynomial monads

zbMATH Keywords

universalitysymmetric monoidal categoriesindeterminatespossible-world semantics

Mathematics Subject Classification ID

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

Cites Work

• Braided tensor categories
• Title not available (Why is that?)
• Parametricity and local variables
• From Algol to polymorphic linear lambda-calculus
• Title not available (Why is that?)
• Semantical analysis of specification logic
• Traced monoidal categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The uniformity principle on traced monoidal 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
• Syntactic control of interference revisited
• Coherence in substructural categories
• 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
• Foundations of Software Science and Computational Structures
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages

Cited In (2)

• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Two cotensors in one: presentations of algebraic theories for local state and fresh names

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 Q2805149)