Category of elements functor について、category of elements: とは comma category *1 のこと。 Category of coelements functor について、category of coelements: とは comma category のこと。 Coelements functor (とでも呼ぶことにする) *2 命題 *3…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。