homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Tetracategories are the algebraic definition of higher category for the most general (i.e. weak) 4-categories.
By the discussion at k-tuply monoidal (n,r)-category a tetracategory with a single object may be regarded as the delooping of a monoidal tricategory. This is discussed in (Hoffnung).
tetracategory
The structure of a tetracategories was given by Todd Trimble.
Todd Trimble Notes on Tetracategories
A polished writeup of the definition appears in section 3.2 of
On strict 4-categories
via a string diagram-calculus:
Last revised on September 26, 2024 at 11:19:50. See the history of this page for a list of all contributions to it.