nLab
hom-space

Contents

Definition

In a category CC enriched over Top or a similar category “of spaces” (such as SSet or Infinity-Grpd), the hom-object C(X,Y)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 22, 2015 09:28:20 by David Corfield (129.12.213.195)