Monoidal indeterminates and categories of possible worlds (Q418809): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6039188 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
indeterminates | |||
Property / zbMATH Keywords: indeterminates / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symmetric monoidal categories | |||
Property / zbMATH Keywords: symmetric monoidal categories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
possible-world semantics | |||
Property / zbMATH Keywords: possible-world semantics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
universality | |||
Property / zbMATH Keywords: universality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
indexed Lawvere theory | |||
Property / zbMATH Keywords: indexed Lawvere theory / rank | |||
Normal rank |
Revision as of 21:12, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monoidal indeterminates and categories of possible worlds |
scientific article |
Statements
Monoidal indeterminates and categories of possible worlds (English)
0 references
30 May 2012
0 references
indeterminates
0 references
symmetric monoidal categories
0 references
possible-world semantics
0 references
universality
0 references
indexed Lawvere theory
0 references