Dwyer–Kan Equivalences in Homotopical Algebra

• Dwyer–Kan equivalences are a homotopical notion that asserts two models of homotopy theory are equivalent when their mapping spaces are weakly equivalent and objects are essentially surjective.
• They bridge diverse frameworks such as model categories, enriched categories, and quasicategories by ensuring that the underlying homotopy theory remains invariant.
• Their formulation underpins key applications in higher category theory, operadic structures, and algebraic K-theory by generalizing the concept of Morita equivalence.

A Dwyer–Kan equivalence is a central homotopical notion that detects when two objects in a given homotopy-theoretic framework—in particular, relative categories, enriched categories, model categories, or higher-categorical models—define the same “homotopy theory” up to equivalence. This concept is foundational in the theory of simplicial localization, provides the bridge between various models for homotopy theories, and forms the basis for understanding model-independence in $(\infty,1)$-category theory. A Dwyer–Kan equivalence is characterized by two essential properties: fully faithful homotopy behavior on mapping spaces, and essential surjectivity on objects up to homotopy. This entry systematically presents the theory, instances, and implications of Dwyer–Kan equivalences in contemporary homotopical algebra and higher category theory.

1. Formal Definition and General Criteria

The archetype for a Dwyer–Kan equivalence arises in the context of a relative category $(\mathcal{C}, W)$, where $\mathcal{C}$ is a category and $W$ is a subcategory of designated weak equivalences. The Dwyer–Kan simplicial (or hammock) localization $L^H(\mathcal{C}, W)$ is a simplicial category whose objects are those of $\mathcal{C}$, and whose mapping spaces are constructed via zig-zags with specified weak equivalences (Barwick et al., 2010, Pavlov, 2021).

For a relative functor $F:(\mathcal{C}, W)\to(\mathcal{D}, W')$, the induced map $L^H(F):L^H(\mathcal{C}, W)\to L^H(\mathcal{D}, W')$ is a Dwyer–Kan equivalence if:

• (Homotopically fully faithful) For all $x, y \in \mathcal{C}$, the induced map on mapping spaces

$$L^H(\mathcal{C}, W)(x, y) \to L^H(\mathcal{D}, W') (F(x), F(y))$$

is a weak equivalence of simplicial sets.

• (Homotopically essentially surjective) Every object of $\mathcal{D}$ is weakly equivalent (in the localization) to some $F(x)$.

These criteria generalize across settings, such as enriched categories (Muro, 2012), topologically enriched categories (Körschgen, 2017), and frameworks of $(\infty,1)$-categories (Hinich, 2013).

2. Dwyer–Kan Equivalences in Model Categories and Relative Categories

In model categories, the Dwyer–Kan localization $L_{DK}(\mathcal{M})$ of a model category $(\mathcal{M}, W)$ at its weak equivalences yields an associated $\infty$-category that presents its homotopy theory (Hinich, 2013, Péroux, 2020). Morphisms between model categories or their relative subcategories that induce equivalences at the level of Dwyer–Kan localizations are critical for showing invariance of homotopy theories:

• Equivalences of combinatorial model categories and presentable quasicategories: The Dwyer–Kan equivalence bridges the relative category of combinatorial model categories, the relative category of combinatorial relative categories, and the relative category of presentable quasicategories, establishing model-independence (Pavlov, 2021).
• Quillen adjunctions and derived functors: A Quillen adjunction between model categories induces an adjunction of the DK localizations. The derived functor is an equivalence of $\infty$-categories precisely when the original adjunction is a Quillen equivalence (Hinich, 2013, Chorny et al., 2018).

3. Segal Spaces, Θₙ-Spaces, and Higher Category Theory

Dwyer–Kan equivalences provide the notion of weak equivalence in several higher categorical models:

• Complete Segal spaces: Weak equivalences in Rezk's complete Segal space model structure coincide exactly with Dwyer–Kan equivalences—maps inducing weak equivalences on mapping spaces and equivalence of homotopy categories (Barwick et al., 2010).
• Segal Θₙ-spaces: In the $\Theta_n$-space model for $(\infty,n)$-categories, a map is a Dwyer–Kan equivalence if it induces: (1) essentially surjective functor on homotopy categories, and (2) weak equivalences on mapping spaces. This generalizes Rezk’s criterion and dominates the homotopy theory of $\Theta_n$-spaces (Bergner, 2022, Tuominen, 3 Mar 2025).
• Dendroidal Segal spaces $(\infty$-operads$)$: Dwyer–Kan equivalences in dendroidal Segal spaces (the operadic analogue of Segal spaces) are precisely those maps that are fully faithful on multi-mapping spaces and essentially surjective on colours. These serve as weak equivalences in model structures for $\infty$-operads (Candeias et al., 14 Jan 2026).

4. Enriched Categories, Operads, PROPs, and Algebraic Theories

Dwyer–Kan equivalences have model-categorical incarnations in categories enriched over a symmetric monoidal model category $(\mathcal{M}, \otimes, \mathbb{1})$ (Muro, 2012, Yau, 2016, Caviglia, 2015), and for operads, properads, coloured PROPs, and multi-sorted algebraic theories (Caviglia et al., 2018, Truong, 2023):

• Enriched categories: A $\mathcal{M}$-enriched functor $F:\mathcal{C}\to\mathcal{D}$ is a DK-equivalence if it induces weak equivalences on all hom-objects and essential surjectivity on the set of connected components (Muro, 2012).
• Coloured operads and PROPs: For a map of enriched operads or PROPs, a DK-equivalence is determined by levelwise equivalence of operation spaces and essential surjectivity on colours (objects), generalizing the notion to operads, properads and PROPs (Caviglia, 2015, Yau, 2016, Truong, 2023).
• Morita-type results and algebraic theories: Multi-sorted algebraic theories and their associated categories of algebras admit Quillen equivalences precisely when the inducing functor is a Dwyer–Kan equivalence—that is, it is homotopically fully faithful and essentially surjective up to retracts (Caviglia et al., 2018).

5. Universal Properties, Model Structures, and Localization

The Dwyer–Kan localization is universal with respect to functors that send designated weak equivalences to equivalences in the target category (Hinich, 2013). In particular:

• Universal Property: For a marked $\infty$-category $(\mathcal{C}, W)$, the localization $L(\mathcal{C}, W)$ corepresents the functor taking $\mathcal{C}$ to all $\infty$-categories $\mathcal{X}$ such that the image of $W$ lies in invertible morphisms (Hinich, 2013).
• Model Structures: Many categories of enriched objects admit Dwyer–Kan model structures, where weak equivalences are precisely DK-equivalences; e.g., for coloured PROPs (Caviglia, 2015), for categories of algebras over operadic collections (Yau, 2016).
• Symmetric Monoidal Contexts: Right-lax symmetric monoidal localizations extend the DK theory to settings where the collection of arrows to be inverted is not tensor-closed, famously in derived categories of chain complexes (Hinich, 2013, Péroux, 2020).

6. Applications and Consequences

Dwyer–Kan equivalences are the correct notion of “Morita equivalence” in modern homotopical algebra, ensuring that the homotopy theory of algebras, categories, operads, or functors is invariant under replacement by equivalent models. Key applications include:

• Homotopy invariance in functor categories: A functor between model categories is a DK-equivalence iff it induces a Quillen equivalence on the associated categories of homotopy functors, aligning with invariance in Goodwillie calculus (Chorny et al., 2018).
• Algebraic K-theory and bivariant K-theories: The DK localization captures stable categories whose homotopy categories encode universal excisive, homotopy-invariant, and matrix-stable homology theories, as in algebraic $kk$-theory (Ellis et al., 2024).
• Operadic Dold–Kan correspondence: The Dold–Kan normalization functor lifts to an equivalence of $\infty$-categories of operads, presenting equivalence in the homotopy theory of operads even when strict rigidification fails for algebra objects (Truong, 2023, Péroux, 2020).

7. Representative Examples and Specialized Criteria

Table: DK-equivalence instances in major frameworks

Context	DK-equivalence criterion	Reference
Relative categories	Simplicial localization (*)	(Barwick et al., 2010)
Model categories	Derived mapping spaces	(Hinich, 2013)
Segal/Θₙ spaces	Mapping space + $\pi_0$ surj	(Tuominen, 3 Mar 2025)
Dendroidal Segal spaces ($\infty$-ops)	Multi-mapping + colors	(Candeias et al., 14 Jan 2026)
Enriched categories	Hom-object w.e. + $\pi_0$	(Muro, 2012)
Coloured PROPs/operads	Operation spaces + objects	(Caviglia, 2015)
Algebraic theories	Fully faithful up to retracts	(Caviglia et al., 2018)

(*) Weak-equivalence of mapping spaces plus essential surjectivity up to homotopy.

In each setting, the pattern is recurrent: the DK-equivalence requires weak equivalence of mapping objects (homotopical full faithfulness) and essential surjectivity on the objects or colors up to homotopy.

8. Conceptual Impact and Model-Independence

The Dwyer–Kan notion is the technical foundation for model-independence results in higher category theory. It underpins equivalences between different presentations of $(\infty,1)$-categories, permits translation between relative categories, quasicategories, and model categories, guarantees the invariance of algebraic and operadic homotopy theories under Quillen/Morita equivalence, and provides a universal characterization of localization across homotopical disciplines (Barwick et al., 2010, Pavlov, 2021, Hinich, 2013).

This principle is now standard in the comparison of $(\infty,1)$-categories, homotopy theories of algebras, higher categories, and operads, assuring practitioners that the choice of presentation (via categories, simplicial categories, quasicategories, Segal or dendroidal spaces) only affects convenience, not the underlying homotopy theory.