# Kerodon

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

Remark 1.3.0.2. Condition $(\ast '')$ is commonly known as the weak Kan extension condition. It was introduced by Boardman and Vogt in , who refer to $\infty$-categories as weak Kan complexes. The theory was developed further by Joyal ( and [joyal]), who refers to $\infty$-categories as quasicategories.