The Gray tensor product via factorisation

DOI10.1007/s10485-016-9467-6zbMath1387.18003arXiv1508.07789OpenAlexW3098957333MaRDI QIDQ1681847

Nick Gurski, John Bourke

Publication date: 24 November 2017

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.07789

zbMATH Keywords

monoidal categoryfactorisation systemLawvere theory

Mathematics Subject Classification ID

Related Items (3)

Weak units, universal cells, and coherence via universality for bicategories ⋮ Stable Postnikov data of Picard 2-categories ⋮ The Gray monoidal product of double categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of Lawvere theory
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Icons
• Two-dimensional monad theory
• Formal category theory: Adjointness for 2-categories
• On semiflexible, flexible and pie algebras
• Two-dimensional monadicity
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• On embedding closed categories
• Introduction to bicategories
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• Algebra and Coalgebra in Computer Science
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Coherence, homotopy and 2-theories

This page was built for publication: The Gray tensor product via factorisation