20/09/29 18:19:04.75 3gGgCYQz.net
普遍性
URLﾘﾝｸ(ja.wikipedia.org)
圏論の用語だな
「U : D → C を 圏 D から圏 C への関手とし、X をCの対象とする。
X から Uへの普遍射 （universal morphism） は、
D の対象 A とCの射 φ : X → U(A) からなる対(A, φ)で表され、
かつ以下の普遍性（universal property）を満たす。
Y がDの対象で f : X → U(Y) がCの射であるような場合、
常に射 g : A → Yが一意に存在して、次の図を可換にする。
（つまりf=U(g)○φ）
射 g の存在は、直感的には(A, φ)が「十分に一般的」であることを示しながら、
一方で射の一意性は、(A, φ)が「過度に一般的ではない」事を表している。」
ま、いいたいことは分かるが、
これが実体だといえるヒトは、相当数学的にソフィスティケートされてる
もし工学部の学生なら、即、理学部数学科に転科したほうがいい
技術者なんぞになるのはもったいない