nLab
hom-space

Definition

In a category $C$ enriched over Top or a similar category “of spaces” (such as SSet or Infinity-Grpd), the hom-object $C(X,Y)$ for any two objects $X$ and $Y$ is called the hom-space.

For enrichement in Set, a discrete hom-space is an ordinary hom-set.

Related concepts

• hom-object

• hom-set

• hom-category

• hom-space, derived hom-space