細かいことは証明しませんし間違っているところもあるかもしれません.
ざっくりと全体像
簡単に言うと, スライス圏 (対象の上の圏) の話と, スライス圏を複数回取ってもそんなに形は変わりませんよって話と, sectionを取る関手の一般化の話です.
複数回取っても1回目以外形が変わらない (同型になる) ものって数学には結構ありますよね.
あと, このsectionを取る関手なんですが, 最初は対象を写像とみなす の圏論版なのかなと思ってたんですがどうなんでしょうか. もしかしたらsectionを取るとは終対象からの射を取っていることと同値なのかもしれませんが, そこらへんは考えたこと(考えるつもりも)が無いです.
スライス圏の定義
圏 とその対象 に対し, の上の圏 を, 次で定義する圏と定義する:
の対象 から への射 の集まりを対象とし, の間の射 を, で, を満たす射とする.
スライス圏を複数取る操作について
の上の圏とその対象 を考えると, さらにその上の圏 も考えることができる.
実はこれは ではなく始域 にしかよらない, 実際にはとが同一視できる.
またこれから分かるが, 二つの射 によって作られる二つの圏 もまた同一視できる.
これによってを と表している.
sectionを取る関手と の関係
ある圏の前層, すなわちある圏から集合への反変関手のなす圏 と, その対象 を取る.
ここで は対象を1点集合 に送る関手であり, これは における終対象となっている.
2節で定義した関手 を考えると, と前層における対応する対象 に対し, は それぞれのsectionを取る関手 ( としてのsectionと としてのsectionは一致する) であるとみなせる.