R. Street. Fibrations in bicategories. Cahiers Top. et Geom. Di#. 21 (1980) 111--160. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Van Kampen theorems for toposes - Bunge, Lack (1 citation) (Correct)
....z in A (Y ) compatible in the obvious sense with # and #. Remark 3.1 Up to equivalence, Des A (#) can be regarded as the category of pseudonatural transformations from #1 : J CAT to AN # . Thus Des A (#) can be constructed as a certain bicategorical limit in CAT called a descent object; see [37] for details. The functor A (#) A (X) A (Y ) and the pseudofunctoriality isomorphism A (d)A (#) A (c)A (#) induce a functor K # : A (X) Des A (#) it sends an object x of A (X) to A (#)x equipped with the pseudofunctoriality isomorphism A (d)A (#)x A (c)A (#)x, and it sends a ....
Ross Street, Corrections to "Fibrations in bicategories", Cah. de Top. et Geom. Di#. Cat. 28:53--56, 1987. 25
Van Kampen theorems for toposes - Bunge, Lack (1 citation) (Correct)
....of the coherence theorem that states that every bicategory is biequivalent to a 2 category, we would gain no greater generality by doing so. Nonetheless, the underlying philosophy is resolutely bicategorical: when we speak of limits or colimits, we always mean these in the bicategorical sense of [36]. Thus the coproduct of two objects A and B is an object A B equipped with arrows i : A A B and j : B A B inducing equivalences K (A B,C) K (A, C) B, C) for all objects C, while an initial object is an object 0 for which the functors K(0, C) 1 are equivalences. Moreover, when ....
Ross Street, Fibrations in bicategories, Cah. de Top. et Geom. Di#. 21:111-159, 1980.
Balanced Coalgebroids - McCrudden (2000) (Correct)
....K. Let D be the locally discrete 2 category whose underlying category is the free category on the graph 1 2 3. Let J : D Cat be the constant 2 functor at the terminal category. Suppose that R : D K is a homomorphism of bicategories. Then a bi pullback of R is a J weighted bilimit [Str80] of R, and it amounts to an object fJ; Rg of K equipped with a pseudonatural equivalence K(A; fJ; Rg) hom(D; Cat) J; K(A;R) Any homomorphism R : D K is isomorphic to a 2 functor R 0 : D K and so may be identified with a diagram k : K L M : m in K; we thus assume R to be a 2functor. ....
R. Street. Fibrations in bicategories, Cah. Top. G'eom. Diff., XXI - 2 (1980), 111--159.
A bicategorical analysis of E-categories - Kinoshita (1997) (1 citation) (Correct)
....accepted to be useful in type theory community. We observe that their E categories, however, are a special case of bicategories, where each homcategory is a groupoid. Furthermore, the Yoneda lemma for Ecategories is a special case of the bicategorical Yoneda lemma stated fifteen years ago in [7, 8]. The use of the Yoneda lemma in [9] is the same as the use of the bicategorical Yoneda lemma in proving coherence theorems; this technique seems to have been introduced by Power in [6] See also [4] The purpose of this paper is to present how the theory of E categories can be viewed as a special ....
R. Street. Corrigendum to "Fibrations in bicategories". Cahiers de Topologie et G'eom. Diff. Cat'egoriques, 28:53--56, 1987.
Theory and Applications of Categories, Vol. 11, No. 17.. - Cockett Koslowski Seely (Correct)
No context found.
R. Street. Fibrations in bicategories. Cahiers Top. et Geom. Di#. 21 (1980) 111--160.
Factorization Systems And Distributive Laws - Dedicated To Max (Correct)
No context found.
R. Street. Fibrations in bicategories. Cahiers Top. G'eom. Diff., XXI:111--160, 1980.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC