The representability conjecture for higher-categorical functors
The representability conjecture for higher-categorical functors
Suppose is an -category admitting arbitrary direct and inverse limits. A functor is called representable when it is induced by an object of , and a functor is representable when it is induced by an object of . Representability conjecture. The functor is representable if and only if it transforms direct limits into inverse limits, while is representable if and only if it transforms inverse limits into inverse limits. This criterion is used in the paper to obtain internal 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
Sign in to submit a solution.
No solutions have been posted yet.