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"?