nLab Yoneda lemma for tricategories

Contents

Context

Yoneda lemma

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

The Yoneda lemma for tricategories is a version of the Yoneda lemma that applies to tricategories, the most common algebraic sort of weak 3-category (Buhné, Thrm 2.12).

References

  • Lukas Buhné, Topics in three-dimensional descent theory, (pdf)

Created on April 23, 2020 at 09:37:48. See the history of this page for a list of all contributions to it.