- the functor T is represented by (S, {1}) where S is the #Sierpiński space. That is, T is naturally isomorphic to the Hom #functor Hom(–, S) with the natural #isomorphism determined by the universal element {1} ∈ T(S). This is generalized by the notion of a #presheaf