Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names |
scientific article |
Statements
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (English)
0 references
10 May 2016
0 references
Cartesian closed category
0 references
monoidal closed category
0 references
enriched algebraic theories
0 references
0 references