Skip to main content
1 of 2
aleph0
  • 461
  • 4
  • 9

($\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

?

aleph0
  • 461
  • 4
  • 9