(infinity,1)-category

An infinity-category where all $k$-morphisms for $k>1$ are invertible up to higher morphisms.