 Some of the formalism for ("n","k")-categories are much simpler than those for general "n"-categories.In particular, several technically accessible formalisms of (infinity,1)-categories are now known.Now the most popular such a formalism centers on a notion of quasi-category, other approaches include a properly understood theory of simplicially enriched categories and the approach via Segal categories; a class of examples of "stable" (infinity,1)-categories can be modeled (in the case of characteristics zero) also via pretriangulated A-infinity categories of Maxim Kontsevich.