3もう一つbicategoryの例としてalgebraとbimoduleのなすbicategoryを見る。BをR-algebraとする。B-algebraのこと。次はbicategoryをなす。compositionはx-y-bimoduleとy-z-bimoduleのy上のテンソル積が定める関手。これにx-z-bimoduleの構造が定まる。category上のbimoduleのなすbicategoryを定義できるかのようなことが書いてある。nLabおそらくこれをVをR-modの圏としてCを対象が1点の圏とすると上の状況になる。exampleの三つめ。categoryのなす圏Catがある。11月別アーカイブはてなブログをはじめよう!unaoyaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。