Spahn realisation-and-nerve adjunction (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

Let F:CDF:C\to D be a VV-enriched functor of VVenriched categories, let j:C[C op,V]j:C\to [C^{op},V] be the VV-enriched Yoneda embedding.

The V-enriched Yoneda extension? of FF - i.e. the left Kan extension? Lan jF\Lan_j F of FF along jj is also called realization functor associated to FF and in this context denoted by || F||_F.

The functor N:{D opV cj(c)F opN:\begin{cases}D^{op}\to V\\c\to j(c)\circ F^{op}\end{cases} is called nerve functornerve functor associated to FF.

Example

Let Δ C:ΔC\Delta_C:\Delta\to C be a cosimplicial object of CC.

N(A) n:=C(Δ C[n],A) N(A)_n :=C(\Delta_C[n],A)
Proposition
(|| FN F)(||_F\dashv N_F)

Revision on November 12, 2012 at 02:20:52 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.