categories と functor の組が fibered category であるとは， 任意の に対し， と Cartesian 射 が存在すること．http://d.hatena.ne.jp/yoshitake-h/20100531

数列．