Category, 圏 Category: とは、以下から成る代数的構造 である: 類: (objects) 類: (morphisms) 関数: (domain of) 関数: (codomain of) 関数: (composite of) 関数: (identity of) ただし、 とした。 これらは以下の四つの要件を満たさなくてはならない。 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。