Homotopy theory and (formal) category theory