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 enrichement in Set, a discrete hom-space is an ordinary hom-set.

Revised on July 28, 2011 15:23:29 by Urs Schreiber (82.113.99.20)