「バンドル-ファミリー対応を簡潔に書く」で導入した簡潔な記法（(-1)乗の書き方）により、随伴トリプルを記述してみます。内容： バンドルの随伴トリプル ファミリーの随伴トリプル バンドルとファミリー バンドルの随伴トリプル次はプルバック四角形です。…