2-圏
Cat-豊穣圏
http://ziphil.com/diary/mathematics/23.html
http://ziphil.com/diary/mathematics/22.html
http://ziphil.com/diary/mathematics/21.html
http://ziphil.com/diary/mathematics/20.html
http://ziphil.com/diary/mathematics/19.html
http://ziphil.com/diary/mathematics/18.html