zbMATH — the first resource for mathematics

Why tricategories? (English) Zbl 0829.18003
This paper may be seen as a “trailer” for the author’s recently- published monograph with R. Gordon and R. Street [“Coherence for tricategories”, Mem. Am. Math. Soc. 558 (1995)], aimed particularly at that part of the theoretical computer science community which has learned to appreciate the importance of category theory for the foundations of computer science. The author shows how higher-dimensional categories (in particular tricategories) arise naturally in computer science, and how the coherence problems which arise from such structures become of practical relevance. He also sketches how these coherence problems are tackled in the Gordon-Power-Street monograph; for detailed proofs the reader is referred to the latter.

18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)
18C10 Theories (e.g., algebraic theories), structure, and semantics
03G30 Categorical logic, topoi
68Q55 Semantics in the theory of computing
Full Text: DOI