Abstract
We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology, both known and new. This includes a recent generalization of Adams’s cobarconstruction to the nonsimply connected case, and a new algebraic model for the homotopy theory of connected topological spaces as an \(\infty \)category of discrete monoids.
Introduction
In this paper we examine the consequences of the close relationship between the topological classifying space construction and the algebraic bar construction combined with the techniques of derived localization of differential graded (dg) algebras.
Let M be any discrete monoid with a subset W. We consider its monoid algebra \({\mathrm {C}}(M)\) and its derived localization \({\mathrm {L}}_{W}{\mathrm {C}}(M)\); it is a dg algebra obtained from \({\mathrm {C}}(M)\) by inverting the elements in W in a homotopy invariant fashion [5]. Let \({\mathrm {B}}{\mathrm {L}}_{W}{\mathrm {C}}(M)\) be the bar construction on \({\mathrm {L}}_{W}{\mathrm {C}}(M)\). On the other hand, let \({\mathrm {N}}(M)\) be the nerve (classifying space) of M considered as an \(\infty \)category and \({\mathrm {L}}_{W}{\mathrm {N}}(M)\) be its localization at W, viewed as 1morphisms in \({\mathrm {N}}(M)\). Finally let \({\mathrm {C}}{\mathrm {L}}_{W}{\mathrm {N}}(M)\) be the normalized chain coalgebra of the simplicial set \({\mathrm {L}}_{W}{\mathrm {N}}(M)\). Then we prove that the dg coalgebras \({\mathrm {B}}{\mathrm {L}}_{M}{\mathrm {C}}(M)\) and \({\mathrm {C}}{\mathrm {L}}_{W}{\mathrm {N}}(M)\) are weakly equivalent, i.e. there is a zig–zag of filtered quasiisomorphisms between them.
We can then deduce the following results with minimal computation:

1.
For any connected grouplike (in particular Kan or 1reduced) simplicial set K there is an equivalence between \({\mathrm {C}}{\mathrm {G}}(K)\), the chain algebra of the loop group of K, and \({\varOmega }{\mathrm {C}}(K)\), the cobar construction on the chain coalgebra of K. See Corollary 4.2. This generalizes a classical result of Adams [1].

2.
For an arbitrary connected simplicial set K there is an equivalence between \({\mathrm {C}}{\mathrm {G}}(K)\) and a localization of \({\varOmega }{\mathrm {C}}(K)\). See Corollary 4.4.

3.
The derived category of second kind of the chain coalgebra on a connected simplicial set K contains the derived category of \(\infty \)local systems on K. If K is grouplike the categories are equivalent. See Corollary 4.8.

4.
Two connected Kan complexes are weakly equivalent if and only if there is a weak equivalence between their integervalued chain coalgebras. See Corollary 4.7.
Some of these, or similar, results have appeared in the literature before: (1) was shown when K is a simplicial singular set of a topological space by Rivera–Zeinalian in [23], (2) is equivalent to the extended cobar construction of Hess–Tonks [14], and (4) is originally due to Rivera–Zeinalian [22]. However, we believe this paper significantly simplifies the existing proofs and adds conceptual clarity. In particular, we show that the extended cobarconstruction of Hess and Tonks [14] of the chain coalgebra of a simplicial set is a derived localization of the ordinary cobarconstruction and clarify its dependence on the choices made.
The main theorem of this paper is a new result, which provides an entirely algebraic model for the homotopy category of connected spaces. By inverting those maps of discrete monoids which induce quasiisomorphisms of derived localized monoid algebras one obtains an \(\infty \)category of discrete monoids. More precisely, this \(\infty \)category is realized as a relative category in the sense of Barwick and Kan [4]. We prove in Theorem 5.2 that this \(\infty \)category of discrete monoids is equivalent to the \(\infty \)category of reduced simplicial sets (also viewed as a relative category with ordinary weak equivalences of simplicial sets). This is potentially of great computational utility since derived localizations of associative rings are effectively computable in a number of situations, both of algebraic and topological origin cf. [5].
As far as we know, this is the first result providing an algebraization of the homotopy category of spaces without any restrictions apart from connectivity (such as simple connectivity, rationality or being of finite type). It is ideologically similar to the wellknown result of Thomason [24] constructing a closed model category structure on small categories that also models the \(\infty \)category of spaces as well as its refinement due to Raptis [21]. However Thomason’s and Raptis’s constructions (while providing more structured equivalences of closed model categories) cannot be viewed as genuine algebraization results since weak equivalences of small categories are defined by appealing to the category of spaces.
Notation
We work over a commutative ground ring k that is a principal ideal domain. All tensor products are understood over k.
We denote the category of simplicial sets by \(\mathbf {sSet}\) and its subcategory of reduced simplicial sets, i.e. simplicial sets with exactly on 0simplex, by \(\mathbf {sSet}^{0}\). We write \(\mathbf {qCat}\) for the category of simplicial sets with the Joyal model structure as a model for \(\infty \)categories; the subcategory of simplicial sets with one object is denoted by \(\mathbf {qCat}^{0}\). To distinguish the classical weak equivalences in \(\mathbf {sSet}\) and the categorical equivalences in \(\mathbf {qCat}\) we will denote them by \(\simeq _{Q}\) (for Quillen) and \(\simeq _{J}\) (for Joyal) respectively. The geometric realization of a simplicial set K will be denoted by K.
We denote the category of monoids by \(\mathbf {Mon}\) and that of simplicial monoids by \(\mathbf {sMon}\).
The category of unital dg algebras, free as kmodules, is denoted by \(\mathbf {dgA}\) and the category of augmented dgalgebras by \(\mathbf {dgA}_{/k}\). We denote by \(\mathbf {dgCoa}^{\mathrm {conil}}\) the dg category of counital conilpotent dg coalgebras, also free as kmodules. By weak equivalences of dg coalgebras we always mean morphisms in the class generated by filtered quasiisomorphism, the definition is recalled in Sect. 2.1. All our gradings are homological.
We will denote by \({\mathrm {C}}\) the normalized chain coalgebra functor with coefficients in k on \(\mathbf {sSet}\), cf. Chapter 10 of [19]. We also denote by \({\mathrm {C}}\) the functor that sends any monoid to its monoid algebra over k, it will be viewed as an object of \(\mathbf {dgA}\).
Background
The bar cobar adjunction
We recall that over any commutative ring the bar and cobar construction provide an adjunction \(\varOmega : \mathbf {dgCoa}^{\mathrm {conil}}\leftrightarrows \mathbf {dgA}_{/k}: {\mathrm {B}}\). See for example [16].
For the reader’s convenience we repeat some definitions. For an augmented dg algebra \(\epsilon : A \rightarrow k\), set \(A_{+}=\ker (\epsilon )\). Then define \({\mathrm {B}}(A) = \oplus _{n=0}^{\infty } (sA_{+})^{\otimes n}\) with comultiplication defined by deconcatenation and counit given by the projection to \((sA_{+})^{\otimes 0}\cong k\), where s denotes the suspension. We define the differential on \({\mathrm {B}}(A)\) to be the unique coderivation whose projection \({\mathrm {B}}(A) \rightarrow sA_+\) restricts to \(d_{sA}\) on \(sA_+\), to \(s \mu _A (s^{1}\otimes s^{1})\) on \(sA_+\otimes sA_+ \) and to 0 on higher tensors. The cobar construction of a coalgebra is defined analogously.
Now assume that k is a field. Then the barcobar adjunction is a Quillen equivalence [20]. We consider the usual model structure on augmented dg algebras (so that weak equivalences are multiplicative quasiisomorphisms). For the model structure on \(\mathbf {dgCoa}^{\mathrm {conil}}\) see [20, Theorem 9.3(b)]. The key definition is that \(f: C \rightarrow D\) is a filtered quasiisomorphism if there are admissible filtrations on C and D such that the associated graded map \({\mathrm{Gr}}(f)\) is a graded quasiisomorphism. A filtration F on a conilpotent coalgebra C is admissible if it is increasing, compatible with comultiplication and differential, and \(F^{0}\) equals the image of the coaugmentation \(k \rightarrow C\). An admissible filtration always exists. Then \(f: C \rightarrow D\) is a weak equivalence in \(\mathbf {dgCoa}^{\mathrm {conil}}\) if it is contained in the smallest class of morphisms containing filtered quasiisomorphisms and closed under the 2outof3 property. If k is not a field we will, somewhat abusing terminology, still refer to filtered quasiisomorphisms as weak equivalences, even though there may not be an underlying closed model category. Cofibrations in \(\mathbf {dgCoa}^{\mathrm {conil}}\) are just monomorphisms.
Localization of dg algebras
Given a dg algebra A with a collection of cycles S, its derived localization \({\mathrm {L}}_{S}A\) is the homotopy initial dg algebra under A such that the images of all \(s \in S\) are invertible in homology, [5, Definition 3.3]. By [5, Theorem 3.10], \({\mathrm {L}}_{S}(A)\) is a homotopy pushout of the form \(A *^{h}_{k\langle S \rangle } k\langle S, S^{1}\rangle \).
Localization of \(\infty \)categories
We will use Joyal’s theory of \(\infty \)categories as quasicategories, see [17, 18] for further background. Given any simplicial set K with a subsimplicial set W we may consider it as an object of \(\mathbf {qCat}\) and define its localization \({\mathrm {L}}_{W}K\), see [7, Proposition 7.1.3]. It has the universal property that for any quasicategory C the functor category \({{\,\mathrm{Fun}\,}}({\mathrm {L}}_{W}K, C)\) is equivalent to the subcategory of \({{\,\mathrm{Fun}\,}}(K, C)\) consisting of functors sending any map in W to an invertible map in C. See also the section on homotopy localization in [17].
We restrict attention to reduced simplicial sets. We are particularly interested in the case where W is given by a collection of 1simplices S and will write \({\mathrm {L}}_{S}K\) in this case. Let I be the nerve of \(\mathbb {N}\), the free monoid on one generator, and J the nerve of \(\mathbb {Z}\), the free group on one generator. There are natural maps \(I \rightarrow J\) and \(\amalg _{S}I \rightarrow K\), and \({\mathrm {L}}_{S}K\) is equivalent to the homotopy pushout in \(\mathbf {qCat}^{0}\) of \(\amalg _{S}J \leftarrow \amalg _{S}I \rightarrow K\). This follows from the proof of [7, Proposition 7.1.3]: The map \(\amalg _{S}I \rightarrow \amalg _{S}J\) is an anodyne extension, i.e. a trivial cofibration in the Quillen model structure, thus it may play the role of \(W \rightarrow W'\) and the rest of the proof applies without changes.
Grouplike simplicial sets
Any simplicial set K may be interpreted as an object in \(\mathbf {qCat}\) and its fundamental category \(\pi (K)\) is defined as the left adjoint of the nerve functor from categories to simplicial sets. If K is weakly Kan, there is an explicit construction of \(\pi (K)\) as the category with objects given by 0simplices and morphisms given by 1simplices modulo 2simplices, see [18, Section 1.2.3].
We say K is grouplike if \(\pi (K)\) is a groupoid. In particular all Kan complexes are grouplike. A converse is true for weak Kan complexes: if K is a weak Kan complex and grouplike then it is a Kan complex, see [18, Proposition 1.2.5.1]. The property of being grouplike is invariant under categorical equivalence, thus the Joyal fibrant replacement of a grouplike simplicial set is a Kan complex.
Relative categories
We will also use the theory of relative categories as introduced in [4] as a model for \(\infty \)categories. A relative category \((\mathcal {C}, W)\) is just a pair consisting of a category \(\mathcal {C}\) and a class of weak equivalences \(W \subset \mathrm {Mor}(\mathcal {C})\).
Associated to any relative category \((\mathcal {C}, W)\) is a simplicial category \({\mathrm {L}}_{W}\mathcal {C}\) obtained by simplicial localization of \(\mathcal {C}\) (viewed as a simplicial category) at W. There is a model structure on relative categories whose weak equivalences \((\mathcal {C}, W)\rightarrow (\mathcal {C}^{\prime }, W^{\prime })\) are those maps that induce weak equivalences of simplicial localizations \({\mathrm {L}}_{W}\mathcal {C}\rightarrow {\mathrm {L}}_{W^{\prime }}\mathcal {C}^{\prime }\), cf. [3].
The model category of relative categories is Quillen equivalent to the model categories of simplicial categories and quasicategories. In particular the relative category \((\mathbf {sSet}, W_{Q})\), where \(W_{Q}\) denotes weak homotopy equivalences, is a model for the \(\infty \)category of spaces.
We are not aware of a good exposition of homotopy limits and colimits in relative categories. To avoid technicalities we define the homotopy limit of a diagram in a relative category by taking the \(\infty \)categorical limit of the corresponding diagram in the associated \(\infty \)category. A comparison result ensures that if the relative category happens to be a model category then this recovers the usual homotopy limits and homotopy colimits. This is explained in Remark 7.9.10 of [7] or Remark 2.5.8 in [2]. In particular it follows from this that any weak equivalence of relative categories preserves homotopy limits, which we will need below.
Bar and nerve construction
We begin by considering the following diagram.
Here \({\mathrm {N}}\) is the usual nerve of a monoid, considered as a reduced simplicial set. The vertical arrows are given, respectively, by the monoid algebra and the normalized chain coalgebra, over k. For any monoid M the augmentation \(\epsilon \) on \({\mathrm {C}}(M)\) is induced by \(M \rightarrow *\). Finally, \({\mathrm {B}}\) is the bar construction on an augmented dg algebra as recalled in Sect. 2.1.
It is a straightforward but fundamental observation that this diagram commutes:
Lemma 3.1
For any monoid M there is a natural isomorphism of dg coalgebras \({\mathrm {C}}{\mathrm {N}}M \cong {\mathrm {B}}{\mathrm {C}}M\).
Proof
With the augmentation \(\epsilon : {\mathrm {C}}(M) \rightarrow k\) given as above we write \(\underline{M} = \ker \epsilon \) and \(\underline{m}\) for \(m1\) in \({\mathrm {C}}M\). Write \(\overline{M}\) for \(M\setminus \{1\}\). Then the set of elements \(\underline{m}\) for \(m \in \overline{M}\) gives a basis for \(\underline{M}\). The map \(m \mapsto s \underline{m}\) induces an isomorphism from \({\mathrm {C}}_{n}{\mathrm {N}}M = k[\overline{M}^{\times n}]\) to \({\mathrm {B}}{\mathrm {C}}M_{n} = (s\underline{M})^{\otimes n}\). A quick computation shows that the differentials also match, as do the coalgebra structures. \(\square \)
We will refine this result by considering localizations of dg algebras and simplicial sets.
Lemma 3.2
There is a natural model structure on \(\mathbf {qCat}^{0}\) such that weak equivalences are categorical equivalences and cofibrations are monomorphisms.
Proof
We recall the Quillen equivalence \(\mathfrak C \dashv \mathcal {N}: \mathbf {qCat}\leftrightarrows \mathbf {sCat}\), see e.g. [18] and observe that it restricts to an adjunction \(\mathbf {sMon} \leftrightarrows \mathbf {qCat}^{0}\). Then the proof of the lemma is the same as for the nonreduced case, cf. [18, Theorem 2.2.5.1]. We need to check three conditions:

1.
The class of categorical equivalences in \(\mathbf {qCat}^{0}\) is perfect in the sense of [18, Definition A.2.6.10]. Namely, it contains isomorphisms, is closed under 2outof3, is stable under filtered colimits and is generated under filtered colimits by a small subset. As the class of weak equivalences in \(\mathbf {sMon}\) are perfect it suffices to check that \(\mathfrak C\) preserves filtered colimits by [18, Corollary A2.6.12]. But \(\mathfrak C: \mathbf {qCat}^{0} \rightarrow \mathbf {sMon}\) commutes with colimits.

2.
Categorical equivalences are stable under pushout by cofibrations. Cofibrations in \(\mathbf {qCat}^{0}\) are also cofibrations in \(\mathbf {qCat}\), so this follows from the nonreduced case (or directly by the same argument).

3.
Finally we need to check that a map \(f: K \rightarrow L\) of reduced simplicial sets which has the right lifting property with respect to all cofibrations is a categorical equivalence. It suffices to show that if f has the right lifting property with respect to all cofibrations between reduced simplicial sets then it has the right lifting property with respect to all cofibrations; this reduces the problem to the nonreduced case. So let \(A \rightarrow B\) be a cofibration. But any maps \(A \rightarrow K\) and \(B \rightarrow L\) factor through the reduced simplicial sets \(\bar{A} = A/A_{0}\) and \(\bar{B} = B/B_{0}\), and \(\bar{A} \rightarrow \bar{B}\) is a cofibration. Thus the right lifting property with respect to \(\bar{A} \rightarrow \bar{B}\) provides a right lift with respect to \(A \rightarrow B\).
\(\square \)
The following lemma is essentially [23, Proposition 7.3]. We provide a direct proof.
Lemma 3.3
Let k be a field. The chain coalgebra functor \({\mathrm {C}}:\mathbf {qCat}^{0}\rightarrow \mathbf {dgCoa}^{\mathrm {conil}}\) preserves weak equivalences.
Proof
We reduce this lemma to three claims.

1.
\({\mathrm {C}}\) sends categorical equivalences between weak Kan complexes to weak equivalences.

2.
\({\mathrm {C}}\) sends pushouts along disjoint unions of inner horn inclusions to trivial cofibrations.

3.
There is a functor \({\text {Gx}}^{\infty }\) sending each reduced simplicial set A to a reduced weak Kan complex. For each reduced simplicial set A there is a natural map \(A \rightarrow {\text {Gx}}^{\infty }A\) which is a colimit of pushouts along disjoint unions of inner horn inclusions.
If we have these claims we may take any categorical equivalence \(A \rightarrow B\) and using (3) replace it by a zigzag \(A \rightarrow {\text {Gx}}^{\infty }A \rightarrow {\text {Gx}}^{\infty }B \leftarrow B\). \({\mathrm {C}}\) sends the middle map to a weak equivalence by (1). The outer maps are sent to direct limits of trivial cofibrations, thus they are trivial cofibrations themselves, and \({\mathrm {C}}(A) \simeq {\mathrm {C}}(B)\).
To prove (1) it suffices to show that homotopy equivalences in \(\mathbf {qCat}^{0}\) are sent to filtered quasiisomorphisms. In fact we will show that homotopies of maps in \(\mathbf {qCat}^{0}\) are sent to homotopies between maps of dg coalgebras.
Let \(\mathbb I\) be a Kan complex such that the functor \(X\mapsto X\times \mathbb I\) gives good cylinder objects in \(\mathbf {qCat}\). For example, we can take for \(\mathbb I\) the nerve of the category with two objects and two mutually inverse morphisms between them. We denote by \({\mathbb I}_{+}\) the simplicial set obtained by adding a disjoint base point.
Then a cylinder object in \(\mathbf {qCat}^{0}\) is given by the smash product \(K \wedge {\mathbb I}_{+}\), i.e. \(K\times {\mathbb I}_{+}/K \vee {\mathbb I}_{+}\). Thus any homotopy between two maps from K to \(K'\) in \(\mathbf {qCat}^{0}\) may be represented by a map \(F: K\wedge {\mathbb I}_{+} \rightarrow K'\). This gives a map of coalgebras \({\mathrm {C}}(F): {\mathrm {C}}(K\wedge \mathbb {\mathbb I}_{+}) \rightarrow {\mathrm {C}}K'\) and it suffices to show that \({\mathrm {C}}(K\wedge {\mathbb I}_{+})\) is a cylinder object in \(\mathbf {dgCoa}^{\mathrm {conil}}_{k/}\). For any coaugmented coalgebra (C, w) we write \(\tilde{C}\) for C/w(k). Then \({\mathrm {C}}(K)\amalg {\mathrm {C}}(K) \cong k \oplus \tilde{\mathrm {C}}(K) \oplus \tilde{\mathrm {C}}(K)\) injects into \({\mathrm {C}}(K\wedge {\mathbb I}_{+}) = k \oplus \tilde{\mathrm {C}}(K)\otimes {\mathrm {C}}(\mathbb I)\), thus it is a cofibration of dg coalgebras. It remains to show that \({\mathrm {C}}\) sends the projection to a filtered quasiisomorphism. Let \(F^{0}({\mathrm {C}}(K\wedge {\mathbb I}_{+})) = w(k)\) and \(F^{i}({\mathrm {C}}(K\wedge I_{+})) = F^{i}\tilde{\mathrm {C}}(K) \otimes {\mathrm {C}}(\mathbb I)\). This is an admissible filtration and on graded pieces we have quasiisomorphisms \({\mathrm{Gr}}^{i}{\mathrm {C}}(K)\otimes {\mathrm {C}}({\mathbb I}) \simeq {\mathrm{Gr}}^{i} {\mathrm {C}}(K)\).
To establish (2) we consider a simplicial set K and let \(K'\) be defined by attaching a collection of nsimplices \(B_{i}\) along inner horns. We need to show \({\mathrm {C}}(f): {\mathrm {C}}(K) \rightarrow {\mathrm {C}}(K')\) is a filtered quasiisomorphism. Filter \({\mathrm {C}}(K)\) by \(F_{i}{\mathrm {C}}(K) = \oplus _{j \le i} {\mathrm {C}}(K)_j\). This is clearly an admissible filtration. To define the filtration on \({\mathrm {C}}(K')\) we denote the face of \(B_i\) that is not in K by \(b_{i}\). I.e. the \(b_{i}\) are the \((n1)\)simplices which are in \(K'\) but not in K.
We let \(F'_i{\mathrm {C}}(K') = F_i{\mathrm {C}}(K)\) for \(i <n\) and \(F'_i{\mathrm {C}}(K') = F_i{\mathrm {C}}(K) \oplus k.{B_i} \oplus k. {b}_i\) for \(i \ge n\). Thus every nsimplex appears in the the nth graded piece of \(K'\), with the exception of the \(b_i\), which are in the nth piece despite being \((n1)\)simplices.
This is clearly compatible with differentials, we need to check the comultiplication. We check this on a basis. By definition \(\varDelta B_i = \sum _k \partial _0^k B_i \otimes \partial _{max}^{nk} B_i\). Applying \(\partial _0\) or \(\partial _{max}\) k times to \(B_i\) gives a \(nk\) simplex which lives in \(F'_{nk}\) unless one of those terms is of the form \(b_j\). For degree reasons this could only be \(\partial _0 B_i\) and \(\partial _{max} B_i\), but as we attached along inner horns both of these are in K, and thus in \(F'_{n1} {\mathrm {C}}(K')\).
Thus \(F'\) gives an admissible filtration on \({\mathrm {C}}(K')\) which is clearly compatible with \({\mathrm {C}}(f)\).
\({\mathrm{Gr}}^{F}_{i} {\mathrm {C}}(K) \rightarrow {\mathrm{Gr}}^{F'}_{i}{\mathrm {C}}(K')\) is an isomorphism everywhere except for degree n. In degree n the cokernel has a basis give by all \(B_i\) and \(b_i\), and \(dB_i = b_i \mod K\), so the cokernel is acyclic.
Thus \({\mathrm {C}}(K)\) and \({\mathrm {C}}(K')\) are filtered quasiisomorphic. Since \({\mathrm {C}}(f)\) is a monomorphism it is a trivial cofibration. In this argument we fixed n for ease of notation but the same argument goes through if we are attaching nsimplices for different values of n simultaneously.
Claim (3) follows directly from the discussion after Definition 3.2.10 in [25]. The only change is that one defines \({\text {Gx}}\) by filling all inner horns, rather than filling all horns. \(\square \)
Lemma 3.4
Let k be a field. Then the functor of the normalized chain coalgebra \({\mathrm {C}}: \mathbf {qCat}^{0} \rightarrow \mathbf {dgCoa}^{\mathrm {conil}}\) is left Quillen.
Proof
First we note that \({\mathrm {C}}\) has a right adjoint. It is provided by \(C \mapsto {{\,\mathrm{Hom}\,}}_{\mathbf {dgCoa}}({\mathrm {C}}(\varDelta ^{\bullet }), C)\) where \(\varDelta ^{\bullet }\) is the cosimplicial simplicial set given by the nsimplex in degree n.
The fact that the adjunction is Quillen follows from Lemma 3.3 together with the observation that \({\mathrm {C}}\) preserves cofibrations, which are just monomorphisms in both categories. \(\square \)
Remark 3.5
The reason for assuming that k be a field in 3.3 and 3.4 is that the category of dg coalgebras is only known to have a closed model category structure (with filtered quasiisomorphisms as weak equivalences) under this assumption. Consequently, it is also needed for establishing dg Koszul duality as a Quillen equivalence between \(\mathbf {dgA}_{/k}\) and \(\mathbf {dgCoa}^{\mathrm {conil}}\) in [20]. This result should generalize to more general commutative rings, but there are technical difficulties in implementing it. We will establish Koszul duality as an equivalence of relative categories; this suffices for our purposes.
Lemma 3.6
Let X be a complex of free kmodules such that for any field F and a map \(k\rightarrow F\) the complex \(X\otimes _kF\) is acyclic. Then X is acyclic to begin with.
Proof
It is wellknown that a kmodule is zero if and only if its localization at every maximal ideal of k is zero; together with the exactness of the localization functor for modules over a commutative ring this implies that it suffices to assume that k is local. Let its unique maximal ideal be generated by \(x\in k\). Then we have the following homotopy pullback square, cf. [10, Proposition 4.13]:
Here \(X\rightarrow \hat{X}_{(x)}\) is the Bousfield localization of X with respect to the functor \(\otimes k/(x)\) (it agrees with the completion of X at the ideal \((x)\in k\)). Since k/(x) and \(k[x^{1}]\) are both fields, we have that \(X\otimes k[x^{1}]\) and \(\hat{X}_{(x)}\), and thus also \(\hat{X}_{(x)}\otimes k[x^{1}]\), are acyclic and then so is X. \(\square \)
Proposition 3.7
The relative categories \((\mathbf {dgA}_{/k}, W_{A})\) and \((\mathbf {dgCoa}^{\mathrm {conil}}, W_{C})\) are weakly equivalent; here \(W_{A}\) denotes quasiisomorphisms and \(W_{C}\) weak equivalences of dg coalgebras.
Proof
We will prove that for any augmented dg algebra A there is a quasiisomorphism \({\varOmega }{\mathrm {B}}(A)\rightarrow A\) and for any conilpotent dg coalgebra \({\mathrm {C}}\) the natural map \(C \rightarrow {\mathrm {B}}{\varOmega }(C)\) is a weak equivalence. If k is a field this follows immediately from the results recalled in Sect. 2.1.
Let F be a field supplied with a map \(k\rightarrow F\). Then by construction \({\mathrm {B}}{\varOmega }(A)\otimes F = {\mathrm {B}}{\varOmega }(A \otimes F)\). Thus \({\mathrm {B}}{\varOmega }(A \otimes F) \simeq A \otimes F\) implies \({\mathrm {B}}{\varOmega }(A)\otimes F \simeq A \otimes F\). But it follows from Lemma 3.6 that two complexes of free kmodules are quasiisomorphic if they are quasiisomorphic after tensoring with any field; thus \({\varOmega }{\mathrm {B}}(A)\rightarrow A\) is a quasiisomorphism.
The statement for dg coalgebras follows by applying the same argument to the graded pieces of the natural filtrations on C and \({\mathrm {B}}{\varOmega }(C)\), see the proof of Theorem 6.10 in [20].
This shows that \({\varOmega }{\mathrm {B}}\) and \({\mathrm {B}}{\varOmega }\) are strictly homotopic to the identity functor on \(\mathbf {dgA}_{/k}\) and \(\mathbf {dgCoa}^{\mathrm {conil}}\) respectively in the sense of [4]. So the two relative categories are strictly homotopy equivalent, and thus weakly equivalent by Proposition 7.5 (iii) in [4]. \(\square \)
In the following formulation we denote by W, slighty abusing the notation, a submonoid of M, the corresponding subset of 1simplices in \({\mathrm {N}}(M)\), and the corresponding subset of the canonical basis of \({\mathrm {C}}(M)\).
Theorem 3.8
Let \(W \subset M\) be a submonoid. Then there is a natural zigzag of weak equivalences of dg coalgebras \({\mathrm {C}}{\mathrm {L}}_{W}{\mathrm {N}}(M) \simeq {\mathrm {B}}{\mathrm {L}}_{W} {\mathrm {C}}(M)\).
Proof
By definition the localization constructions in dg algebras and simplicial sets are given by homotopy colimits, see Sects. 2.2 and 2.3. As \({\mathrm {B}}\) is an equivalence of relative categories by Proposition 3.7 it preserves homotopy colimits and we deduce \({\mathrm {L}}'_{W}{\mathrm {B}}{\mathrm {C}}(M) \simeq {\mathrm {B}}{\mathrm {L}}_W {\mathrm {C}}(M)\) where
where \(\coprod ^h\) stands for the homotopy pushout of dg coalgebras.
There is also a natural map \(\eta : {\mathrm {L}}''_{W}{\mathrm {C}}{\mathrm {N}}(M)\rightarrow {\mathrm {C}}{\mathrm {L}}_{W}{\mathrm {N}}(M) \) where
and I, J are as in Sect. 2.3. We note first that \(\eta \) is a weak equivalence if k is a field since in that case C is a left Quillen functor by Lemma 3.4 and so, it commutes with homotopy colimits. As the tensor product commutes with the homotopy colimit it follows that \(\eta \) becomes a quasiisomorphism after tensoring with an arbitrary field. Thus by Lemma 3.6 it is a weak equivalence in general.
It remains to identify the two different coalgebra localizations. We apply the isomorphic functors \({\mathrm {C}}{\mathrm {N}}\) and \({\mathrm {B}}{\mathrm {C}}\) to the map of discrete monoids \(\mathbb {N} \rightarrow \mathbb {Z}\) to show that \({\mathrm {C}}(I) \rightarrow {\mathrm {C}}(J)\) is weakly equivalent to \({\mathrm {B}}(k\langle t \rangle ) \rightarrow {\mathrm {B}}(k\langle t, t^{1}\rangle )\). \(\square \)
Applications
The generalized correspondence of cobar and loop construction
The second key ingredient for our applications is the following result of Fiedorowicz:
Proposition 4.1
There is a functor \({\mathrm {M}}: \mathbf {sSet}^{0} \rightarrow \mathbf {Mon}\) satisfying \(K \simeq _{Q} {\mathrm {N}}{\mathrm {M}}(K)\).
Proof
By [12, Theorem 3.5] there is a a functor \({\text {D}}\) from based path connected topological spaces to discrete monoids such that X is weakly equivalent to the classifying space of \({\text {D}}(X)\). Then \({\mathrm {M}}(K):={\text {D}}(K)\). \(\square \)
Applying Theorem 3.8 in the case that \(W = {\mathrm {M}}\) allows us to prove the following theorem that was proved for topological spaces in [23]. It is a generalization of a classical result by Adams [1].
To state the result we recall that the simplicial loop group \({\mathrm {G}}\) and the simplicial classifying space \(\overline{W}\) (constructed e.g. in [13, Chapter V]) give a Quillen equivalence between reduced simplicial sets and simplicial groups.
Corollary 4.2
Let K be a grouplike reduced simplicial set. Then there is a natural zigzag of quasiisomorphism of dg algebras \({\mathrm {C}}{\mathrm {G}}(K) \simeq \varOmega {\mathrm {C}}(K)\).
Proof
We denote a functorial fibrant replacement in the classical model structure by \(R_{Q}\) and in the Joyal model structure by \(R_{J}\). Then we note that \(R_{J}K\) is weakly Kan and grouplike, thus it is a Kan fibrant replacement for K. By Proposition 4.1 we have \(K \simeq _{Q} {\mathrm {N}}{\mathrm {M}}(K)\) and \(R_{Q}K \simeq _{J} R_{Q}{\mathrm {N}}{\mathrm {M}}(K)\) as \(\mathbf {sSet}\) is a Bousfield localisation of \(\mathbf {qCat}\). As \({\mathrm {L}}_{K_{1}}K \simeq _{J} K\) by assumption and \(R_{J}{\mathrm {L}}_{K_{1}}\) is a Kan replacement (see Sect. 2.4) we obtain
Thus \({\mathrm {C}}(K) \simeq {\mathrm {C}}{\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {N}}{\mathrm {M}}(K) \simeq {\mathrm {B}}{\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {C}}{\mathrm {M}}(K)\) by Theorem 3.8 and \(\varOmega {\mathrm {C}}(K) \simeq {\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {C}}{\mathrm {M}}(K)\) by Proposition 3.7. Next \({\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {C}}{\mathrm {M}}(K) \simeq {\mathrm {C}}{\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {M}}(K)\) by [5, Theorem 10.1]. The classifying space of \({\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {M}}(K)\) is weakly equivalent to \({\mathrm {N}}{\mathrm {M}}(K)\) by [11, Theorem 5.5(ii)]. As \({\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {M}}(K)\) is a simplicial group (cf. [11, Theorem 5.5(i)]), its classifying space may be computed by \(\overline{W}\) [13, Section V.4], so by the equivalence discussed above \({\mathrm {L}}_{{\mathrm {M}}(K)}{\mathrm {M}}(K)\) is of the form \({\mathrm {G}}{\mathrm {N}}{\mathrm {M}}(K)\), which is weakly equivalent to \({\mathrm {G}}K\) by Proposition 4.1. The result follows by applying \({\mathrm {C}}\). \(\square \)
To go beyond grouplike simplicial sets we need to refine the loop group construction. The following almost trivial example is instructive.
Example 4.3
Consider the simplicial set K with one 0simplex and one nondegenerate 1simplex. Topologically, K is the circle, and so its loop space is the infinite cyclic group and the dg algebra \({\mathrm {C}}{\mathrm {G}}(K)\) is (quasiisomorphic to) the ring of Laurent polynomials \(k[t,t^{1}]\) with \(t=0\).
On the other hand, \({\varOmega }{\mathrm {C}}(K)\cong k[t]\ne k[t,t^{1}]\). The reason for this discrepancy is that K is not grouplike.
This example suggests that, even in the case when a simplicial set K is not grouplike, the chains on its loop space could still be recovered as a localization of \({\varOmega }{\mathrm {C}}K\). This is indeed true:
Corollary 4.4
For any reduced simplicial set K there is a weak equivalence \({\mathrm {C}}{\mathrm {G}}(K) \simeq {\mathrm {L}}_{1+K_{1}}\varOmega {\mathrm {C}}(K)\). Here the localization on the right hand side is performed at the set of cycles \(\{1+s^{1} x\}_{x \in K_{1}}\), where \(s^{1}\) denotes desuspension.
Proof
First we will show that \({\mathrm {L}}_{1+K_{1}}{\varOmega }{\mathrm {C}}(K) \simeq {\varOmega }{\mathrm {C}}{\mathrm {L}}_{K_{1}}(K)\) by commuting localization past \({\varOmega }\) and \({\mathrm {C}}\).
Since \({\varOmega }\) is an equivalence of relative categories it commutes with colimits. As in the proof of Theorem 3.8 we may express the localization of a coalgebra as a homotopy pushout along \(\amalg \ {\mathrm {C}}(I) \rightarrow \amalg \ {\mathrm {C}}(J)\) or equivalently along \(\amalg \ {\mathrm {B}}(k\langle t \rangle ) \rightarrow \amalg \ {\mathrm {B}}(k\langle t, t^{1}\rangle )\). Again from the proof of Theorem 3.8 we know that this localization commutes with \({\mathrm {C}}\). Thus we have \({\varOmega }{\mathrm {C}}{\mathrm {L}}_{K_{1}}K \simeq {\varOmega }L_{K_{1}}{\mathrm {C}}(K) \simeq L_{1+K_{1}}{\varOmega }{\mathrm {C}}(K)\). Here for the last step we use that \({\varOmega }{\mathrm {B}}(k\langle t, t^{1}\rangle ) \simeq k\langle t, t^{1}\rangle \). The equivalence from \({\mathrm {C}}(I)\) to \({\mathrm {B}}(k\langle t \rangle )\) sends an element \(x \in K_{1}\) to \(s^{1}x1\) in \({\varOmega }{\mathrm {C}}(K)\), cf. the correspondence in Lemma 3.1. Then \(s^{1}x1\) is sent to x by the natural transformation from \({\varOmega }B\) to the identity. Thus localizing K at \(K_{1}\) corresponds to localising \({\varOmega }{\mathrm {C}}K\) at \(1 + K_{1}\).
For the left hand side we note that \({\mathrm {C}}{\mathrm {G}}(K) \simeq {\mathrm {C}}{\mathrm {G}}{\mathrm {L}}_{K_{1}}(K)\) since G preserves the (classical) weak equivalence between K and \({\mathrm {L}}_{K_{1}}(K)\), and thus we deduce the result from Corollary 4.2 applied to \({\mathrm {L}}_{K_{1}}(K)\). \(\square \)
Remark 4.5
This result throws some light on a construction of Hess and Tonks [14]. For a simplicial set K that is not necessarily grouplike they consider an extended cobar construction \({\hat{\varOmega }} {\mathrm {C}}(K)\), see [14, Section 1.2], and then show that \({\mathrm {C}}{\mathrm {G}}(K) \simeq {\hat{{\varOmega }}} {\mathrm {C}}(K)\) (in fact, they construct an explicit chain equivalence between these dg algebras).
Unravelling the extended cobar construction in the special case of a chain coalgebra we see that \({\hat{{\varOmega }}} {\mathrm {C}}(K)\) may be constructed as the dg algebra obtained from \({\varOmega }{\mathrm {C}}(K)\) by adding inverses for all the cycles \(1+s^{1}x\) for \(x \in K_{1}\). As \({\varOmega }{\mathrm {C}}(K)\) is cofibrant over its subalgebra generated by these cycles, this is a derived localization, see [5, Remark 3.11]. Therefore we obtain that \({\mathrm {C}}{\mathrm {G}}(K) \simeq {\mathrm {L}}_{1+K_{1}}\varOmega {\mathrm {C}}(K) \simeq {\hat{{\varOmega }}} {\mathrm {C}}(K)\) by Corollary 4.4, recovering the result of [14].
The construction of \({\hat{\varOmega }} C\) for a dg coalgebra C depends on the choice of a basis for \(C_{1}\) and [14] does not address the question whether different choices lead to quasiisomorphic dg algebras. For \(C={\mathrm {C}}(K)\) there is a natural basis in \({\mathrm {C}}_1(K)\) given by 1simplices and with this basis the quasiisomorphism \({\mathrm {C}}{\mathrm {G}}(K) \simeq {\hat{{\varOmega }}} {\mathrm {C}}(K)\) does hold. The following example shows that it will not hold with a wrong choice of basis.
Example 4.6
Consider a monoid M with two elements 1 and b where 1 is the identity element and \(b^2=b\). It is clear that \({\mathrm {N}}M\) is contractible and so \({\mathrm {L}}_{1+K_{1}}\varOmega {\mathrm {C}}{\mathrm {N}}(M)\simeq {\mathrm {C}}(M)[b^{1}]\cong k\). On the other hand, choosing the basis in \(({\mathrm {C}}{\mathrm {N}}M)_1\) given by the negatives of 1simplices in \({\mathrm {N}}M\) leads to the extended cobar construction \({\hat{{\varOmega }}} {\mathrm {C}}{\mathrm {N}}(M)\) that is quasiisomorphic to \({\mathrm {C}}(M)[1+(1b)]^{1}\cong {\mathrm {C}}(M)[2b]^{1}\). It is easy to compute that \({\mathrm {C}}(M)[2b]^{1}\cong k[\frac{1}{2}]\times k\) and this is not isomorphic to k unless k has characteristic 2.
Chain coalgebras detect weak homotopy equivalences
Next, we deduce the main result of [22] as follows:
Corollary 4.7
Let \(k = \mathbb {Z}\). A map of reduced fibrant simplicial sets \(f: K \rightarrow K' \) is a weak equivalence if and only if \(f_{*}: {\mathrm {C}}(K)\rightarrow {\mathrm {C}}(K')\) is a weak equivalence of dg coalgebras.
Proof
The “only if” follows from Lemma 3.3 and Lemma 3.6.
To show the converse we assume that \(f_{*}: {\mathrm {C}}(K) \simeq {\mathrm {C}}(K')\). By Corollary 4.2 this implies that we have a quasiisomorphism \({\mathrm {C}}{\mathrm {G}}(f): {\mathrm {C}}{\mathrm {G}}(K) \simeq {\mathrm {C}}{\mathrm {G}}(K')\). Thus \(H_{0}({\mathrm {C}}{\mathrm {G}}(f))\) is bijective. By construction it is a morphism of Hopf algebras, compatible with both the composition of loops and the coproduct. Together this shows that \(H_{0}({\mathrm {C}}{\mathrm {G}}(f))\) induces an isomorphism between grouplike elements in \(H_{0}({\mathrm {G}}K)\) and \(H_{0}({\mathrm {G}}K')\), i.e. between the fundamental groups of K and \(K'\).
We finish the proof by applying Whitehead’s theorem. The identity components of \({\mathrm {G}}K\) and \({\mathrm {G}}K'\) are connected nilpotent spaces, thus by [9] they are weakly equivalent. As all components are equivalent and f identifies the \(\pi _{0}({\mathrm {G}}K)\) and \(\pi _{0}({\mathrm {G}}K')\) we obtain a weak homotopy equivalence and thus a weak equivalence of simplicial monoids \({\mathrm {G}}K \rightarrow {\mathrm {G}}K'\). This implies \(K \simeq _{Q} K'\). \(\square \)
Derived categories
For the last part of this section we assume that k is a field. We recall the derived categories of second kind constructed in [20]. Specifically, for the coalgebra \({\mathrm {C}}(K)\) we consider the coderived category \({{\,\mathrm{D^{co}}\,}}({\mathrm {C}}(K))\), which is a triangulated category obtained as the localization of the homotopy category of dg comodules over \({\mathrm {C}}(K)\) at morphisms with coacyclic cone. A dg comodule is coacyclic if it is contained in the minimal triangulated subcategory that contains the total complexes of short exact sequences and is closed under infinite direct sums.
A fundamental result says that for any conilpotent coalgebra C there is an equivalence \({{\,\mathrm{D^{co}}\,}}(C) \simeq {{\,\mathrm{D}\,}}({\varOmega }C)\), cf. [20, Theorem 6.5(a)]. Thus weakly equivalent dg coalgebras have equivalent coderived categories.
It follows directly from Lemma 3.3 that the coderived category of the chain coalgebra of a simplicial set is an invariant with respect to Joyal weak equivalences. On the other hand, there is another homotopy invariant, this time with respect to classical (Quillen) weak equivalences of simplicial sets. It is the triangulated category of \(\infty \)local systems on a simplicial set K. This could be defined e.g. as the derived category of cohomologically locally constant sheaves on K, cf. [6, 15].
Corollary 4.8
The derived category of \(\infty \)local systems on K is a full subcategory of \({{\,\mathrm{D^{co}}\,}}({\mathrm {C}}K)\). If K is grouplike the two categories are equivalent.
Proof
By [20, Theorem 6.5(a)] \({{\,\mathrm{D^{co}}\,}}({\mathrm {C}}(K)) \simeq {{\,\mathrm{D}\,}}({\varOmega }{\mathrm {C}}(K))\). On the other hand, the derived category of \(\infty \)local systems is \({{\,\mathrm{D}\,}}({\mathrm {C}}{\mathrm {G}}(K))\), by the second part of Theorem 26 in [15].
If K is grouplike, the two categories agree by Corollary 4.2. Otherwise we have \({{\,\mathrm{D}\,}}({\mathrm {C}}{\mathrm {G}}(K)) \simeq {{\,\mathrm{D}\,}}({\mathrm {L}}_{1+K_{1}}{\varOmega }{\mathrm {C}}(K))\) by Corollary 4.4, so \(\infty \)local systems are modules over a localization of \({\varOmega }{\mathrm {C}}(K)\). But by Corollary 4.29 in [5] the derived category of modules over a localized dg algebra is a full subcategory of the derived category of modules over the original dg algebra. Explicitly, \(\infty \)local systems are equivalent to the full subcategory of \(K_{1}\)local objects in \({{\,\mathrm{D}\,}}({\varOmega }{\mathrm {C}}(K))\). \(\square \)
An algebraic model for the homotopy category of spaces
Finally, our results give us an algebraic model for the homotopy theory of connected topological spaces (equivalently, reduced simplicial sets). In this section we fix \(k = \mathbb {Z}\).
We consider the relative category \((\mathbf {Mon}, W)\) where \(\mathbf {Mon}\) is the category of discrete monoids and \(f: M \rightarrow N\) is in W if and only if it induces a quasiisomorphism of the derived localizations of the monoid algebras, i.e. if \({\mathrm {L}}_{M}{\mathrm {C}}(M) \simeq {\mathrm {L}}_{N}{\mathrm {C}}(N)\).
This definition is completely algebraic in the sense that a monoid is an algebraic structure i.e. a set with a collection of finitary operations subject to finitely many identities [8] and the notion of a weak equivalence in \(\mathbf {Mon}\) is also described algebraically. The definition is meaningful because of the following:
Corollary 5.1
Two discrete monoids B and \(B'\) are weakly equivalent if and only if \({\mathrm {N}}(B) \simeq _{Q} {\mathrm {N}}(B')\).
Proof
By Theorem 3.8 we know that \({\mathrm {B}}{\mathrm {L}}_{B}{\mathrm {C}}(B) \simeq {\mathrm {C}}{\mathrm {L}}_{B}{\mathrm {N}}(B)\) for any monoid, and together with Proposition 3.7 this gives \({\mathrm {L}}_{B}{\mathrm {C}}(B) \simeq {\varOmega }{\mathrm {C}}{\mathrm {L}}_{B}{\mathrm {N}}(B)\). This shows immediately that \({\mathrm {N}}(B) \simeq _{Q} {\mathrm {N}}(B')\) implies \(B \simeq B'\). Moreover \({\mathrm {N}}\) preserves weak equivalence as \({\varOmega }{\mathrm {C}}\) reflects weak equivalences by Corollary 4.7. \(\square \)
Theorem 5.2
The nerve functor provides an equivalence of relative categories \({\mathrm {N}}: (\mathbf {Mon}, W) \rightarrow (\mathbf {sSet}^{0}, W_{Q})\).
Proof
N preserves weak equivalences by Corollary 5.1. Using the functor \({\mathrm {M}}\) from 4.1 we have \(K \simeq {\mathrm {N}}{\mathrm {M}}(K)\).
Moreover for any monoid B to show \(B \simeq {\mathrm {M}}{\mathrm {N}}(B)\) it suffices to show that \({\mathrm {N}}(B) \simeq {\mathrm {N}}{\mathrm {M}}{\mathrm {N}}(B)\), which follows immediately from the above.
This shows that \((\mathbf {Mon}, W)\) and \((\mathbf {sSet}^{0}, W_{Q})\) are homotopy equivalent and thus weakly equivalent, cf. the proof of Proposition 3.7. \(\square \)
References
 1.
Adams, J.: On the cobar construction. Proc. Natl. Acad. Sci. USA 42, 409–412 (1956)
 2.
Barnea, I., Harpaz, Y., Horel, G.: Procategories in homotopy theory. Algebra Geom. Topol. 17, 567–643 (2017)
 3.
Barwick, C., Kan, D.M.: A characterization of simplicial localization functors and a discussion of DK equivalences. Indag. Math. (N.S.) 23, 69–79 (2012)
 4.
Barwick, C., Kan, D.M.: Relative categories: another model for the homotopy theory of homotopy theories. Indagat. Math. 23, 42–68 (2012)
 5.
Braun, C., Chuang, J., Lazarev, A.: Derived localisation of algebras and modules. Adv. Math. 328, 555–622 (2018)
 6.
Chuang, J., Holstein, J., Lazarev, A.: Maurer–Cartan moduli and theorems of Riemann–Hilbert type. Appl. Categor. Struct. https://doi.org/10.1007/s10485021096313. arXiv:1802.02549. (2018)
 7.
Cisinski, D.C.: Higher categories and homotopical algebra. Lectures notes availble at www.mathematik.uniregensburg.de/cisinski/CatLR.pdf
 8.
Cohn, P. M.: Universal algebra, vol. 6 of Mathematics and its Applications, 2nd edn, D. Reidel Publishing Co., DordrechtBoston (1981)
 9.
Dror, E.: A generalization of the whitehead theorem. Lect Note Math. 249, 13–22 (1971)
 10.
Dwyer, W.G., Greenlees, J.P.C.: Complete modules and torsion modules. Am. J. Math. 124, 199–220 (2002)
 11.
Dwyer, W.G., Kan, D.M.: Simplicial localizations of categories. J. Pure Appl. Algebra 17, 267–284 (1980)
 12.
Fiedorowicz, Z.: Classifying spaces of topological monoids and categories. Am. J. Math. 106, 301–350 (1984)
 13.
Goerss, P., Jardine, J.: Simplicial homotopy theory, Progress in Mathematics Series, Birkhäuser Verlag (1999)
 14.
Hess, K., Tonks, A.: The loop group and the cobar construction. Proc. Am. Math. Soc. 138, 1861–1876 (2010)
 15.
Holstein, J.V.S.: Morita cohomology. Math. Proc. Camb. Philos. Soc. 158, 1–26 (2015)
 16.
Husemoller, D., Moore, J.C., Stasheff, J.: Differential homological algebra and homogeneous spaces. J. Pure Appl. Algebra 5, 113–185 (1974)
 17.
Joyal, A.: The theory of quasicategories and its applications. Notes available at http://www.mat.uab.cat/~kock/crm/hocat/advancedcourse/Quadern452.pdf
 18.
Lurie, J.: Higher Topos Theory. Ann. Math. Stud. 170 (2011)
 19.
Neisendorfer, J.: Algebraic Methods in Unstable Homotopy Theory, vol. 12. Cambridge University Press, Cambridge (2010)
 20.
Positselski, L.: Two kinds of derived categories, Koszul duality, and comodulecontramodule correspondence, Mem. Amer. Math. Soc., 212, pp. vi+133 (2011)
 21.
Raptis, G.: Homotopy theory of posets. Homol. Homotopy Appl. 12, 211–230 (2010)
 22.
Rivera, M., Wierstra, F., Zeinalian, M.: The functor of singular chains detects weak homotopy equivalences. Proc. Am. Math. Soc. 147, 4987–4998 (2019)
 23.
Rivera, M., Zeinalian, M.: Cubicial rigidification, the cobar construction, and the based loop space. Algebra Geom. Topol. 18, 3789–3820 (2018)
 24.
Thomason, R.W.: Cat as a closed model category. Cahiers Topologie Géom. Différentielle 21, 305–324 (1980)
 25.
Waldhausen, F., Jahren, B., Rognes, J.: Spaces of PL Manifolds and Categories of Simple Maps (AM186). Annals of Mathematics Studies, Princeton University Press, Princeton (2013)
Acknowledgements
The authors would like to thank Michael Batanin, Jonathan Block, Denis Cisinski, Kathryn Hess and Andy Tonks for useful input.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by EPSRC Grants EP/N015452/1 and EP/N016505/1.
Communicated by Jim Stasheff.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chuang, J., Holstein, J. & Lazarev, A. Homotopy theory of monoids and derived localization. J. Homotopy Relat. Struct. (2021). https://doi.org/10.1007/s40062021002766
Received:
Accepted:
Published:
Keywords
 Cobarconstruction
 Relative category
 Derived localization
 Simplicial sets
Mathematics Subject Classification
 55P15
 55P35
 57T30