Ordinary categories capture objects and morphisms, but many constructions in homotopy theory require higher morphisms that witness equivalences.

Infinity categories add morphisms in every dimension so that composition and equivalence are tracked up to higher homotopies, not strict equality.

This gives a setting where the objects of interest are equivalent in a flexible way while still supporting categorical reasoning.