---
title: Dwyer–Kan Equivalences in Homotopical Algebra
url: https://www.emergentmind.com/topics/dwyer-kan-equivalences
type: topic
---

# Dwyer–Kan Equivalences in Homotopical Algebra

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 [1012.1541], [2110.04679].

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 [1201.1575], topologically enriched categories [1704.07472], and frameworks of $(\infty,1)$-categories [1311.4128].

## 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 [1311.4128], [2006.09407]. 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 [2110.04679].
- **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 [1311.4128], [1805.05378].

## 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 [1012.1541].
- **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 [2209.08156], [2503.01687].
- **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 [2601.09505].

## 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})$ [1201.1575], [1608.01867], [1510.01289], and for operads, properads, coloured PROPs, and multi-sorted algebraic theories [1808.09045], [2312.07906]:

- **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 [1201.1575].
- **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 [1510.01289], [1608.01867], [2312.07906].
- **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 [1808.09045].

## 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 [1311.4128]. 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 [1311.4128].
- **Model Structures:** Many categories of enriched objects admit Dwyer–Kan model structures, where weak equivalences are precisely DK-equivalences; e.g., for coloured PROPs [1510.01289], for categories of algebras over operadic collections [1608.01867].
- **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 [1311.4128], [2006.09407].

## 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 [1805.05378].
- **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 [2412.19936].
- **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 [2312.07906], [2006.09407].

## 7. Representative Examples and Specialized Criteria

#### Table: DK-equivalence instances in major frameworks

| Context                            | DK-equivalence criterion      | Reference          |
|-------------------------------------|------------------------------|--------------------|
| Relative categories                | Simplicial localization (*)  | [1012.1541]        |
| Model categories                   | Derived mapping spaces       | [1311.4128]        |
| Segal/Θₙ spaces                    | Mapping space + $\pi_0$ surj | [2503.01687]       |
| Dendroidal Segal spaces ($\infty$-ops) | Multi-mapping + colors       | [2601.09505]       |
| Enriched categories                | Hom-object w.e. + $\pi_0$    | [1201.1575]        |
| Coloured PROPs/operads             | Operation spaces + objects   | [1510.01289]       |
| Algebraic theories                 | Fully faithful up to retracts| [1808.09045]       |

(*) 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 [1012.1541], [2110.04679], [1311.4128].

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.

Source: https://www.emergentmind.com/topics/dwyer-kan-equivalences