This text attempts to review and understand the fundamentals of ∞-categories via weak Kan complexes. We develop to some extent the construction of ∞ homs. We find a way to deal with 1-morphisms and equivalences and form ...