The syntax of coherence

MaRDI QIDQ2709566zbMATH OpenFDO

Authors Noson S. Yanofsky

Publication date 22 July 2002

Published in Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9910006, http://www.numdam.org/item?id=CTGDC_2000__41_4_255_0, https://eudml.org/doc/91637

zbMATH Keywords

2-categoriesalgebraic theoriescoherencefunctorial semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Homotopy theory (55P99)

Review text

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.

Recommendations

• Functorial semantics of topological theories
• scientific article; zbMATH DE number 2125670
• From coherent structures to universal properties
• scientific article; zbMATH DE number 3955179
• Generalized algebraic theories and contextual categories

Cites work

• Algebra valued functors in general and tensor products in particular
• Braided tensor categories
• Coherent Extensions and Relational Algebras
• Discrete models for the category of Riemann surfaces
• Formal category theory: Adjointness for 2-categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3505197 (Why is no real title available?)
• scientific article; zbMATH DE number 3606644 (Why is no real title available?)
• scientific article; zbMATH DE number 706259 (Why is no real title available?)
• scientific article; zbMATH DE number 1390049 (Why is no real title available?)
• scientific article; zbMATH DE number 3264101 (Why is no real title available?)
• scientific article; zbMATH DE number 3355278 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 3397722 (Why is no real title available?)
• Models for operads
• Obstructions to coherence: Natural noncoherent associativity
• Quantum groups and representations of monoidal categories
• Quasi-Kan extensions for 2-categories
• Soft adjunction between 2-categories
• Some algebraic problems in the context of functorial semantics of algebraic theories
• The syntax of coherence
• Two-dimensional monad theory
• Universal algebra in a closed category

Cited in

(6)

• The Gray tensor product via factorisation
• The syntax of coherence
• scientific article; zbMATH DE number 6694184 (Why is no real title available?)
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 1862472 (Why is no real title available?)
• Rewriting techniques for relative coherence

This page was built for publication: The syntax of coherence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709566)