The syntax of coherence (Q2709566)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The syntax of coherence |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The syntax of coherence |
scientific article |
Statements
22 July 2002
0 references
coherence
0 references
functorial semantics
0 references
algebraic theories
0 references
2-categories
0 references
The syntax of coherence (English)
0 references
The goal of the paper is to carry out, in a 2-categorical setting, the functorial semantics for algebraic theories in the sense of \textit{F. W. Lawvere} [``Functorial semantics of algebraic theories'', Proc. Nat. Acad. Sci. U.S.A 50, 869-872 (1963; Zbl 0119.25901)], suitably upgraded to 2-categories. That this is not as straightforward as the 1-dimensional case of sets with structure is well explained, as is everything else in this very clearly written and well-motivated paper. A number of open questions and future directions of work are given at the end.
0 references
