nLab (infinity,n)-presheaf

Contents

Context

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

An (,n)(\infty,n)-presheaf on an (∞,n)-category CC is an (∞,n)-functor F:C opF : C^{op} \to (∞,n)Cat.

Last revised on May 4, 2021 at 19:46:59. See the history of this page for a list of all contributions to it.