I said that they will start to turn their heads when we get a direct definition of an (inty,1)-category, not a one that reduces this concept to sets.


On Jun 4, 2016, at 12:56 PM, andré hirschowitz <a...@unice.fr> wrote:

Thanks!

2016-06-04 10:38 GMT+02:00 Vladimir Voevodsky <vlad...@ias.edu>:
It is very easy to formalize, for example in UniMath, the concept of a quasi-category. 

I now understand that you even accept such a "flattened" notion of
(oo, 1)-category. Great! So, since at least one (simple, standard) definition is already there, what exactly is missing in your view for them "all start to turn their heads in [y]our direction"?

andré