Category of sets Category を次のようにして定義できる: (これで良さそうだが厳密な定義を発見できず・・・) Structured set Structured setとは、以下から成る代数的構造 である(と思う)。 一つの集合: (underlying set) A上の演算子の族 (structure) つまり…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。