IDタイプの標準名は何ですか？

Question

私は最近、ここで質問に答え：How do I express this in Typescript?

は、ここで上記のコードの抜粋です：

trait FooBar[M[_]] { 
    val foo: M[Integer] 
    val bar: M[String] 
} 

type Identity[X] = X 
type A = FooBar[Identity] 
type B = FooBar[Option] 

私は時代のこの使用のカップル見ている：何であるか、

type Identity[X] = X 

をしかし、カテゴリ理論の文献では、これの名前（Identityタイプまたはこの手法のいずれか） Liftはより良い名前ですか？ 、これはIdentity Functionと呼ばれる数学の

Answer 1

：数学の

、識別機能は、また、アイデンティティ関係又はアイデンティティマップまたは恒等変換と呼ばれ、常に使用されたのと同じ値を返す関数です。その議論として。方程式では、関数はf（x）= xで与えられます。

次のように、より正式な数学的な定義は次のとおりです。

正式には、MがMのセット、恒等関数fがドメインでその関数になるように定義してMどの満たすを終域されている場合：f(x) = x

この機能は、Mのすべての要素xに対して、 のすべての要素xについて を割り当てます。

特にカテゴリ理論の定義をお探しの場合はIdentity Morphismとなります。

アイデンティティ：その後、射の合成とはWikipedia値会談は、などのID射を説明し、すべてのオブジェクトXのために、射のIDが存在する _X：X→Xアイデンティティ

と呼ばれます