The fully faithful Yoneda conjecture for higher categories

At least 28 years old · documented by

Suppose AA is an n+1n+1-category. Its arrow family gives functors

α:A→Hom‾(Ao,nCAT′),\alpha: A \rightarrow \underline{Hom}(A^o, nCAT'), β:Ao→Hom‾(A,nCAT′).\beta: A^o \rightarrow \underline{Hom}(A, nCAT').

Yoneda conjecture. The functors α\alpha and β\beta are fully faithful. This is the higher-categorical analogue of the corresponding fact for n=0n=0; the paper gives no proof or resolution.

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.