Why tricategories?
From MaRDI portal
Publication:1898465
DOI10.1006/inco.1995.1112zbMath0829.18003OpenAlexW2914799684MaRDI QIDQ1898465
Publication date: 10 December 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1112
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Higher dimensional categories: induction on extensivity ⋮ Discrete Lawvere theories and computational effects ⋮ Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) ⋮ Combining effects: sum and tensor ⋮ Gabriel–Ulmer duality and Lawvere theories enriched over a general base ⋮ An Australian Conspectus of Higher Categories ⋮ Relaxed models for rewriting logic ⋮ Premonoidal categories as categories with algebraic structure
