Contents

Definition

For $\mathcal{C}$ topologically enriched category or a similar category “of spaces” (such as SSet or Infinity-Grpd), the hom-object $\mathcal{C}(X,Y)$ for any two objects $X$ and $Y$ is called the hom-space.

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

Revised on April 15, 2016 10:50:43 by Urs Schreiber (131.220.184.222)