Functor, 関手 Functor とは、 以下から成る代数的構造 である: category: (domain) category: (codomain) 関数: 関数: これらは以下の三つの要件(functoriality)を満たさなくてはならない。 任意の について 上の演算子には上に点をつけておいた。 記法 参…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。