Monoidal indeterminates and categories of possible worlds
Autor: | Robert D. Tennent, Claudio Hermida |
---|---|
Rok vydání: | 2012 |
Předmět: |
Higher category theory
Pure mathematics Indexed Lawvere theory General Computer Science Categorical quantum mechanics 0102 computer and information sciences 01 natural sciences Universality Closed monoidal category Theoretical Computer Science Mathematics::Category Theory Symmetric monoidal categories 0101 mathematics Possible-world semantics Enriched category Mathematics Monoidal functor Discrete mathematics Binary function 010102 general mathematics Symmetric monoidal category Cartesian closed category Closed category 010201 computation theory & mathematics Lawvere theory Indeterminates Computer Science(all) |
Zdroj: | MFPS |
ISSN: | 0304-3975 |
DOI: | 10.1016/j.tcs.2012.01.001 |
Popis: | Given any symmetric monoidal category C, a small symmetric monoidal category @S and a strong monoidal functor j:@S->C, we construct C[x:j@S], the polynomial category with a system of (freely adjoined) monoidal indeterminates x:I->j(w), natural in w@?@S. As a special case, we construct the free co-affine category (symmetric monoidal category with initial unit) on a given small symmetric monoidal category. We then exhibit all the known categories of ''possible worlds'' used to treat languages that allow for dynamic creation of ''new'' variables, locations, or names as instances of this construction and explicate their associated universality properties. As an application of the resulting characterization of O(W), Oles's category of possible worlds, we present an O(W)-indexed Lawvere theory of many-sorted storage, generalizing the single-sorted one introduced by J. Power, and we describe explicitly an associated monad of (typed) block algebras for local storage. |
Databáze: | OpenAIRE |
Externí odkaz: |