普遍性の雰囲気、感じ、メタファー

s, tをパラメータとする2次元ベクトル空間から、3次元ベクトル空間への線形写像を g:V→W とする。g(V)⊆W は部分空間で、w∈W からg(V)への垂線の足の逆像を対応させる写像を f:W→V とする。すると、点 g(f(w))はg(V)の上にあって、wからの距離が最短の点を与える。

雰囲気	実際
g:V→W	G:X→C
g(V)⊆W	G(X)⊆C
w∈W	c∈Obj(C)
f:W→V	F:C→X
垂線	f:c→G(x) in C
無限な錐	錐
平面への線分	成分線