Monoidal indeterminates and categories of possible worlds

DOI10.1016/J.TCS.2012.01.001MaRDI QIDQ418809zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 431769 (Why is no real title available?)
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 3827166 (Why is no real title available?)
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3748394 (Why is no real title available?)
• scientific article; zbMATH DE number 3783237 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3522196 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 3999254 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• A fully abstract model for the \(\pi\)-calculus.
• Abstract models of storage
• Algebras and update strategies
• Braided tensor categories
• Categorical logic of names and abstraction in action calculi
• Coherence in substructural categories
• Combining effects: sum and tensor
• Computational effects and operations: an overview
• Deductive systems and categories
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Foundations of Software Science and Computational Structures
• From Algol to polymorphic linear lambda-calculus
• From comodels to coalgebras: state and arrays
• Full abstraction for the second order subset of an ALGOL-like language
• Global state considered helpful
• Lenses, fibrations and universal translations
• Parametricity and local variables
• Semantical analysis of specification logic
• Semantical analysis of specification logic. II
• Semantics for local computational effects
• Syntactic control of interference revisited
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The uniformity principle on traced monoidal categories
• Traced monoidal categories
• Two-dimensional monad theory

Cited in

(5)

• Categorical foundations of gradient-based learning
• Monoidal indeterminates and categories of possible worlds
• 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)