伏線回収回. 圏の積 「圏の積については後ほど一般的に定義します」と予告していましたので, ここで定義しておきます.「全ての圏からなる圏」というものを考えることができます. 二つの圏 の積とは, をこの「全ての圏からなる圏」の対象と見たときの積です. …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。