Definition 22.5.1. Let $(A, \text{d})$ be a differential graded algebra. Let $f, g : M \to N$ be homomorphisms of differential graded $A$-modules. A homotopy between $f$ and $g$ is an $A$-module map $h : M \to N$ such that

1. $h(M^ n) \subset N^{n - 1}$ for all $n$, and

2. $f(x) - g(x) = \text{d}_ N(h(x)) + h(\text{d}_ M(x))$ for all $x \in M$.

If a homotopy exists, then we say $f$ and $g$ are homotopic.

There are also:

• 3 comment(s) on Section 22.5: The homotopy category

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).