A. Jung. personal notes. by private communication. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Parametricity as a Notion of Uniformity in Reflexive Graphs - Dunphy (2002) Self-citation (Jung) (Correct)
....thesis and for his comments and support during the research. The many discussions I had with him were most helpful. I would also like to thank John Power, whose comments on a paper of my advisor provided direction to this research. I also bene ted from conversations with Carsten Fuhrmann, Achim Jung, Maria Emilia Maietti, and Eike Ritter during my visit to the University of Birmingham. I am grateful to Dan Grayson and Ward Henson for their comments on this thesis. Their assistance has improved the presentation of this material. Most of the diagrams in this thesis were produced using Paul ....
.... functor F : G H is a natural transformation and an indexed natural transformation : F G is a modi cation (see [Mac71] for instance) Indexed categories, indexed functors and indexed natural transformations form a 2 category and, hence, all the usual category theory concepts, such as adjunctions, limits, colimits, monads, comonads, algebras and coalgebras, can be applied to re exive graph categories in a natural fashion. We use RG to denote the 2 category of re exive graph categories. Another category theoretic term we apply to re exive graph categories is the adjective ....
[Article contains additional citation context not shown here]
A. Jung. personal notes. by private communication.
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