バンドル射

本編ネタ セオリー論
  • バンドル射 ＝ アロー圏の射
  • バンドル射がアロー圏のCodに関するデカルト射＝バンドル射がプルバック四角形
  • バンドル射がプルバック四角形 ＝ エタール射 ＝ 局所同型