Spans in 2-Categories: A monoidal tricategory

Abstract

We present Trimble's definition of a tetracategory and prove that the spans in (strict) 2-categories with certain limits have the structure of a monoidal tricategory, defined as a one-object tetracategory. We recall some notions of limits in 2-categories for use in the construction of the monoidal tricategory of spans.

137 pages

References in corpus (1)

• The Hecke Bicategory

Cited by in corpus (6)

• Compact Closed Bicategories
• Iterated spans and classical topological field theories
• Mackey 2-functors and Mackey 2-motives
• A bicategory of decorated cospans
• Oplax Hopf Algebras
• A Whirlwind Tour of the World of $(\infty ,1)$-categories