∞-category of Kan complexes