バンドルの圏

セミナー
  • Bun[B] -- 集合B上のバンドルの圏
  • f→ : Bun[B] → Bun[B'] -- 前送り関手
  • f← : Bun[B'] → Bun[B] -- 引き戻し関手
  • ∇f = f→
  • Δf = f←
  • Σf と Πf
  • Bun に引き戻し／逆方向ファイバー射の圏。反変バンドル射の圏
  • Bun に引き戻し／順方向ファイバー射の圏。共変バンドル射の圏
  • バンドルをボディとするスパンによる関手