Basic Bicategories
暂无分享，去创建一个
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
[1] Ross Street,et al. Fibrations in bicategories , 1980 .
[2] Ross Street,et al. Coherence of tricategories , 1995 .
[3] R. Street,et al. Review of the elements of 2-categories , 1974 .
[4] John W. Gray,et al. Formal category theory: adjointness for 2-categories , 1974 .
[5] J. Benabou. Introduction to bicategories , 1967 .