http://jp.arxiv.org/abs/1202.3245

Functor が fibered category であるとは，任意の ，任意の ，任意の に対し， 上の前層 が 上の object によって表現可能であること． http://d.hatena.ne.jp/yoshitake-h/20100601 http://d.hatena.ne.jp/yoshitake-h/20110919

3.2 節．Lemma 3.2.4 の downwards の証明で紛糾． が得られればよいところまではわかったが，これの導き方がわからなかった． これは Lemma 3.2.3 の証明中の後半（とばした部分）にある議論を用いて得られる．すなわち，replacement より が得られるので，…