Re #26: Here is a simpler argument. Since you have already constructed a map, to show that it is a weak equivalence for all S, it suffices to observe that it sends homotopy colimits in S to homotopy limits.

Indeed, [S,frgt∘DK(V)] and (frgt∘DK([N∘ℤ(S),V])) are fully derived constructions: DK, frgt, N, Z[-] all preserve weak equivalences; frgt∘DK lands in Kan complexes, so [S,frgt∘DK(V)] is derived, and NZ[-] lands in projectively cofibrant chain complexes, so [N∘ℤ(S),V] is derived. Furthermore, frgt preserves homotopy limits, Z[-] preserves homotopy colimits, N and DK preserve both, and internal homs send homotopy colimits in the first argument to homotopy limits.

Thus, it suffices to verify the claim for S=Δ^0, for which the corresponding map is an isomorphism.

]]>But I think I am fine in the simple case that I am interested in, which is (a) $S = \Delta[1]/\partial \Delta[1]$ and (b) $V$ is concentrated on the integers in some degree. Namely, in that case we know with (a) that the simplicial homotopy groups on both sides are isomorphic (by the discussion at *free loop space of a classifying space* here), both being, by (b) copies of the integers in two degrees. So now the retraction-part of the EZ theorem says that $EZ_S$ induces in these degrees a retraction of the integers onto the integers. But that must be an isomorphism.

To be frank. I am still stuck, though:

So defining

$\begin{aligned} \big[ S, \, frgt \circ DK(V) \big]_\bullet & \;\simeq\; sSet \big( S \times \Delta[\bullet], \, frgt \circ DK(V) \big) \\ & \;\simeq\; Ch_+ \big( N \circ \mathbb{Z}(S \times \Delta[\bullet]), \, V \big) \\ & \;\xrightarrow{EZ_S}\; Ch_+ \big( N \circ \mathbb{Z}(S) \,\otimes\, N \circ \mathbb{Z}(\Delta[\bullet]), \, V \big) \\ & \;\simeq\; Ch_+ \big( N \circ \mathbb{Z}(\Delta[\bullet]), \, [ N \circ \mathbb{Z}(S), \, V ] \big) \\ & \;\simeq\; \Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet \end{aligned}$and

$\begin{aligned} \Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet & \;\simeq\; Ch_+ \big( N \circ \mathbb{Z}(\Delta[\bullet]), \, [ N \circ \mathbb{Z}(S), \, V ] \big) \\ & \;\simeq\; Ch_+ \big( N \circ \mathbb{Z}(S) \,\otimes\, N \circ \mathbb{Z}(\Delta[\bullet]), \, V \big) \\ & \xrightarrow{AW_S} Ch_+ \big( N \circ \mathbb{Z}(S \times \Delta[\bullet]), \, V \big) \\ & \;\simeq\; sSet \big( S \times \Delta[\bullet], \, frgt \circ DK(V) \big) \\ & \;\simeq\; \big[ S, \, frgt \circ DK(V) \big]_\bullet \end{aligned}$we have that the simplicial map

$\big[ S, \, frgt \circ DK(V) \big]_\bullet \xrightarrow{\;EZ_S\;} \Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet \xrightarrow{\;AW_S\;} \big[ S, \, frgt \circ DK(V) \big]_\bullet$is the identity. Fine. We need moreover a simplicial homotopy from

$\Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet \xrightarrow{\;AW_S\;} \big[ S, \, frgt \circ DK(V) \big]_\bullet \xrightarrow{\;EZ_S\;} \Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet$to the identity. I take it that your implicit suggestion was to use the chain homotopies

$\Big( N \circ \mathbb{Z}(\Delta[1]) \Big) \otimes N \circ \mathbb{Z}(S \times \Delta[\bullet]) \xrightarrow{ EZ \circ AW \Rightarrow id} N \circ \mathbb{Z}(S \times \Delta[\bullet])$from the Eilenberg-Zilber theorem and look at their image under $Ch_+\big( -, V \big)$. But it is unclear to me how this gives a simplicial homotopy as needed.

]]>Oh, I see, you are saying it’s a strong homotopy, not just a weak homotopy equivalence. Right, I had forgotten about that. Thanks!

]]>Sure, but why does that make the given map a simplicial equivalence?

]]>Re #22: Yes, because the Eilenberg–Zilber map is a chain homotopy equivalence.

]]>I forget if I had an argument for this:

Is the Dold-Kan correspondence $N \colon sAb \rightleftarrows Ch^+_\bullet \colon DK$ compatible with internal homs, in that the following is a simplicial weak equivalence

$\begin{aligned} \big[ S, \, frgt \circ DK(V) \big]_\bullet & \;\simeq\; sSet \big( S \times \Delta[\bullet], \, frgt \circ DK(V) \big) \\ & \;\simeq\; Ch_\bullet^+ \big( N \circ \mathbb{Z}(S \times \Delta[\bullet]), \, V \big) \\ & \;\xrightarrow{EZ}\; Ch_\bullet^+ \big( N \circ \mathbb{Z}(S) \,\otimes\, N \circ \mathbb{Z}(\Delta[\bullet]), \, V \big) \\ & \;\simeq\; Ch_\bullet^+ \big( N \circ \mathbb{Z}(\Delta[\bullet]), \, [ N \circ \mathbb{Z}(S), \, V ] \big) \\ & \;\simeq\; \Big( frgt \circ DK \big( [ N \circ \mathbb{Z}(S), \, V ] \big) \Big)_\bullet \end{aligned}$?

Here $\mathbb{Z} \colon sSet \rightleftarrows sAb \colon frgt$ denotes the free/forgetful adjunction, and EZ denotes precomposition with the Eilenberg-Zilber map.

]]>Created some links on relevant names.

]]>added pointer to

- J. F. Jardine, Lemma 1.5 in:
*Presheaves of chain complexes*, K-theory 30.4 (2003): 365-420 (pdf)

added pointer to

- Daniel Quillen, Section II.4 item 5 in:
*Homotopical Algebra*, Lecture Notes in Mathematics 43, Springer 1967(doi:10.1007/BFb0097438)

I would like to be sure that I untangled Kan’s notations correctly before adding the remark, though…

At any rate, the article is available here.

]]>Thanks for getting back to this. I don’t have free resources at the moment to look into this. But if you are sure, please add a corresponding remark to the entry!

]]>Hi Urs,

in reply to your comment number 6: what about the following?

In Kan’s original paper (Functors involving css complexes), Proposition 6.3., he proves (if I managed to untangle the notations correctly), that the usual normalized Moore functor $N$ is naturally isomorphic to the functor tensor product $-\otimes_\Delta N\mathbb{Z}[\Delta^\bullet]$, where $\mathbb{Z}[\Delta^\bullet]$ denotes the free simplicial abelian group on the Yoneda embedding.

Then by abstract nonsense we arrive (Kan arrived, in that paper) at the “hom” expression for the right adjoint $\Gamma$.

]]>I have removed the sentence for the moment. If Stephan or somebody later remembers some story similar to this sentence which is worth recording, we can still do so.

]]>I hesitate to check the History-list, because it can be very tedious to find the point where something was added (the quickest general method I can think of is to do a binary search on the length of the history list, last time I had to do this it took me forever…).

But now I did and in this case I was lucky: it was Stephan Spahn (or somebody signing with his name….), in the latest edit before mine. I’ll check with him now.

]]>I don’t suppose you noticed who that was? It doesn’t make any sense to me.

]]>I see that at *Dold-Kan correspondence* somebody had added a very first sentence to read

In some sense the Dold-Kan correspondence is the categorification of the statement that ℕ and ℤ are isomorphic in the category of sets in that they have the same cardinality.

I don’t understand this sentence. I think it needs to come with more explanation.

Also I think this is unsuited for the very first sentence of the Idea section. It’s more like a Zen koan than an explanation of an idea.

I have moved the sentence now to [Properties – Relation to categorification](http://ncatlab.org/nlab/show/Dold-Kan correspondence#RelationToCategorification). There sombody please expand on the details alluded to by the sentence.

]]>Hi Jim,

I have added your Alg-Top findings to Moore complex

]]>and no citation of Moore

Can you provide it?

]]>and not even an indication of which Moore!! ]]>

have recoded the statement that the Dold-Kan correspondence is compatible with $\bar W$-delooping of simplicial abelian groups in a new Properties-section Looping and delooping

]]>I have cited Weibel, exercise 8.4.2 now for the statement (at the end of DK – equivalence of categories).

Then I started a section Applications. So far it contains: construction of Eilenberg-MacLane objects and embedding of abelian sheaf cohomology into nonabelian cohomology

]]>added to the section Equivalence of categories the gory details of the components of the natural isomorphisms

$Id \to N \Gamma$and

$\Gamma N \to Id \,.$Does anyone know a source that checks explicitly that this makes the equivalence an *adjoint equivalence* ?

Of course it’s straightforward to check. But tedious.

]]>I tried to collect the three subsections on globular and on nonabelian versions and the section describing the connection to strict groupal oo-groupoids

I wasn’t sure how to do it and ended up deciding to collect them in a subsection titled Statement (general nonabelian case). But momentarily that does not quite live up to its title yet.

]]>