@deprecated Constant functor Category と について、constant functorを次のように定義できる: Cone Cone: とは、以下から成る代数的構造 である: functor: (base) -object: (vertex) natural transformation: (components) つまりconeとは、domainがconst…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。