Spans in 2-Categories: A monoidal tricategory

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 monoi...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2013-09
Main Author: Hoffnung, Alexander E
Format: Article
Language:English
Subjects:
Categories
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422