# nLab monomorphism in a derivator

## Idea

A monomorphism in a derivator is the generalization to the context of a derivator of the notion of monomorphism in ordinary category theory. Viewing a derivator as the “shadow” of an (∞,1)-category, the notion of monomorphism therein coincides with the notion of monomorphism in an (∞,1)-category.

## Definition

Let $\square$ denote the category

$\begin{array}{ccc}a& \to & b\\ ↓& & ↓\\ c& \to & d\end{array}$\array{a & \to & b \\ \downarrow & & \downarrow \\ c & \to & d}

that is the “free-living commutative square”, let $I$ be the interval category $\left(0\to 1\right)$, and let $p:\square \to I$ denote the functor collapsing $a,b,c$ to $0$ and sending $d$ to $1$.

Let $D$ be a prederivator and $f:X\to Y$ a morphism in $D\left(1\right)$. By one of the axioms of a derivator, there exists an object $F\in D\left(I\right)$ representing $f$, which is unique up to non-unique isomorphism. We say that $f$ is a monomorphism in $D$ if ${p}^{*}\left(F\right)\in D\left(\square \right)$ is a pullback square.

## Examples

• It is well-known and easy to verify that a morphism $f:A\to B$ in a 1-category is a monomorphism if and only if the square

$\begin{array}{ccc}A& \stackrel{\mathrm{id}}{\to }& A\\ {}^{\mathrm{id}}↓& & {↓}^{f}\\ A& \underset{f}{\to }& B\end{array}$\array{ A & \overset{id}{\to} & A \\ ^{id}\downarrow & & \downarrow^f \\ A &\underset{f}{\to} & B }

is a pullback. Therefore, in representable prederivators this definition reduces to the usual notion of monomorphism.

• In the homotopy derivator of an $\left(\infty ,1\right)$-category, one can check that this reduces to the usual notion of monomorphism in an (∞,1)-category.

Created on June 12, 2010 04:44:22 by Mike Shulman (75.3.130.212)