show/hide this revision's text 2 edited title; edited title

($\infty,1$) ∞,1) vs Category weakly enriched over spaces

show/hide this revision's text 1

($\infty,1$) vs Category weakly enriched over spaces

What is the difference between:

($\infty,1$) categories - in which have for two objects you have an ($\infty,0$) category of morphisms (i.e. a space of morphisms)

and

categories weakly enriched over spaces - by that I mean categories such that hom(x,y) is always a space and composition is defined only up to (coherent) homotopy

?