# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark 5.4.0.3. The notion of minimal $\infty$-category was introduced by Joyal in . In the setting of Kan complexes, the theory of minimal models is much older (see ).