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