記法 Terminal natural transformation*1 と natural transformation との mediator を と書くことにする。 命題 Functor: について、 しかも、 についてnatural。 証明 は complete なので、ending wedge の族: を作ることができるが、ここで、 とすると は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。