細かいことは証明しませんし間違っているところもあるかもしれません. ざっくりと全体像 スライス圏の定義 スライス圏を複数取る操作について sectionを取る関手と の関係 ざっくりと全体像 簡単に言うと, スライス圏 (対象の上の圏) の話と, スライス圏を複…