クラス，タイプ，カテゴリ

集合の集まりで，それに属するすべての元に共通の性質から紛れなく定義される

集合論(set theory)で定義される概念

体系付けのために要素に割り当てていく階層構造

ラッセルの「theories of type」で集合論の改善に向けて示された後，「数学原理」に収録された概念

数学における型は，「単純階型理論(ST：Simple theory of types)」や「New Foundations」「Scott-Potter set theory」など様々な型理論がある．

プログラミングにおける「型」は，「型システム」として議論される．

カテゴリー（哲学：範疇，数学：圏）

元々は哲学用語で，その定義は理論（その提唱者）によって異なる．

タイプ的な意味を持ったりクラス的な意味を持ったりしているように見える．

数学的には圏論で扱われる「様々な数学的構造の間の関係」のことを指す