対象

圏の定義における、扱うものの対象の集まりのこと。

対象は正確にはクラスを使って定義される。けれど、たいていは「集合みたいなもの」と思っておけば良い