nLab
hom-space

Contents

Definition

For 𝒞\mathcal{C} topologically enriched category or a similar category “of spaces” (such as SSet or Infinity-Grpd), the hom-object 𝒞(X,Y)\mathcal{C}(X,Y) for any two objects XX and YY 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)