Models for homotopical higher categories, Part I