The fully faithful Yoneda conjecture for higher categories

From papers

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

α:AHom(Ao,nCAT),\alpha: A \rightarrow \underline{Hom}(A^o, nCAT'), β:AoHom(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.

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.