The representability conjecture for higher-categorical functors

From papers

Suppose AA is an n+1n+1-category admitting arbitrary direct and inverse limits. A functor h:AonCATh:A^o\rightarrow nCAT' is called representable when it is induced by an object of AA, and a functor g:AnCATg:A\rightarrow nCAT' is representable when it is induced by an object of AoA^o. Representability conjecture. The functor hh is representable if and only if it transforms direct limits into inverse limits, while gg is representable if and only if it transforms inverse limits into inverse limits. This criterion is used in the paper to obtain internal Hom\underline{Hom} objects, but is not proved there.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Carlos Simpson, “Limits in n-categories”, arXiv:alg-geom/9708010 (1997).

Solutions 0

No solutions have been posted yet.