Category of sets Category を次のようにして定義できる: (これで良さそうだが厳密な定義を発見できず･･･) Structured set Structured setとは、以下から成る代数的構造 である(と思う)。 一つの集合: (underlying set) A上の演算子の族 (structure) つまり…

Category, 圏 Category: とは、以下から成る代数的構造 である: 類: (objects) 類: (morphisms) 関数: (domain of) 関数: (codomain of) 関数: (composite of) 関数: (identity of) ただし、 とした。 これらは以下の四つの要件を満たさなくてはならない。 …