Kelly, G. M. and Street, R. H. 1974. Review of the Elements of 2-categories. Lecture Notes in Mathematics 420, 75--103. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Symmetric Monoidal and Cartesian Double Categories as a .. - Bruni, Meseguer.. (2001) (2 citations) (Correct)
....and Montanari 1998) and the Ph.D. thesis of one of the authors (Bruni 1999) 2. Double Categories and Generalized Natural Transformations A double category is an internal category in Cat. Due to the speci c structure of Cat, double categories admit the following presentation, adapted from Kelly and Street (1974). De nition 1. Double Category) A double category D consists of a collection a; b; c; of objects (also called 0 cells) a collection h; g; f; of horizontal arrows (also called horizontal 1 cells) a collection v; u; w; of vertical arrows (also called vertical 1 cells) and a ....
Kelly, G. M. and Street, R.H. (1974) Review of the Elements of 2-categories. Lecture Notes in Mathematics 420, 75-103.
Symmetric and Cartesian Double Categories as a Semantic .. - Bruni, Meseguer.. (1995) (1 citation) (Correct)
....1998) and the forthcoming PhD thesis of one of the authors (Bruni 1998) 2. Double Categories and Generalized Natural Transformations A double category is an internal category in Cat. Due to the specific structure of Cat, double categories admit the following naive presentation, adapted from Kelly and Street (1974). Definition 1. Double Category) A double category D consists of a collection a; b; c; of objects (also called 0 cells) a collection h; g; f; of horizontal arrows (also called horizontal 1 cells) a collection v; u; w; of vertical arrows (also called vertical 1 cells) and a ....
Kelly, G. M. and Street, R.H. (1974) Review of the Elements of 2-categories. Lecture Notes in Mathematics 420, 75--103.
Homotopy Theory, and Change of Base for Groupoids and Multiple.. - Brown (1996) (Correct)
.... Kampen Theorem for the fundamental crossed module, because they nicely handle subdivision and the homotopy addition lemma [9] They also have a monoidal closed structure, related to a notion of homotopy, and which may be derived from that for the case of all dimensions given in [14] 2 groupoids [45, 12] These are nearer to the well used 2 categories. On the other hand, their monoidal closed structure, which follows from the equivalence with the previous example, seems more difficult to describe than in either of the previous examples. The corresponding case of 2 categories is dealt with by Gray ....
Kelly, G.M., and Street, R., `Review of the elements of 2-categories', in Springer Lecture Notes in Math. 420 (1974) 75-103.
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
No context found.
Kelly, G. M. and Street, R. H. 1974. Review of the Elements of 2-categories. Lecture Notes in Mathematics 420, 75--103.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
G.M. Kelly, and R. Street (1974), Review of the Elements of 2-Categories, in Category Seminar Sidney, Lecture Notes in Mathematics 420, 75--103, Springer-Verlag.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
G.M. Kelly, and R. Street (1974), Review of the Elements of 2-Categories, in Category Seminar Sidney, Lecture Notes in Mathematics 420, 75--103, Springer-Verlag.
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