The representability conjecture for higher-categorical functors

About 29 years old · traced to

Suppose AA is an n+1n+1-category admitting arbitrary direct and inverse limits. A functor h:Ao→nCAT′h:A^o\rightarrow nCAT' is called representable when it is induced by an object of AA, and a functor g:A→nCAT′g: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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.