Doctrines on 2-categories
暂无分享,去创建一个
[1] Marta Bunge. Coherent extensions and relational algebras , 1974 .
[2] Abelian categories over additive ones , 1973 .
[3] Paul H. Palmquist. The double category of adjoint squares , 1971 .
[4] F. William Lawvere,et al. Ordinal sums and equational doctrines , 1969 .
[5] J. Benabou. Introduction to bicategories , 1967 .