Introduction to bicategories
Introduction to bicategories
复制标题
DOI：
10.1007/bfb0074299
复制
发表时间：
1967
期刊：
影响因子：
--
通讯作者：
J. Benabou
中科院分区：
文献类型：
--
作者：
J. Benabou
更重要的是在§ 4中定义的态射的概念，其中WE-不需要函子F（A，B）：B）-+-S（A，B）与c（A，B，C）交换，甚至不需要同构。这样一个显然过于复杂和不必要的一般定义的理由是，从单子到[Gr]的伪函子可以处理的例子的数量（见第5节），以及大多数结果都不存在的事实。
Even more important is the notion of morphisms defined in § 4 where WE-do not require the functors F (A, B): B)-+-S (A, B) to commute with the c (A, B, C), not even up to isomorphisms. The justification for such an apparently too complicated and unnecessarily general definition is in the number of examples (see § 5) ranging from monads to pseudo-functors of [Gr] which can be handled and in the fact that most of the results ex-