TY  - DATA
AU  - Gray John W
TI  - Mathematical applications of category theory 
T2  - Contemporary mathematics 
SN  - 9780821876152 (online)
PY  - 1984///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Categories (Mathematics)
N1  - Proceedings of the special session on mathematical applications of category theory, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 59, 1983T.p. verso; Includes bibliographies; Introduction  ; The interaction between category theory and set theory  ; Synthetic calculus of variations  ; The representation of limits, lax limits and homotopy limits as sections  ; Open locales and exponentiation  ; EilenbergMacLane toposes and cohomology  ; A combinatorial theory of connections  ; Aspects of higher order categorical logic  ; A Stonetype representation theory for first order logic  ; Topological universes and smooth GelfandNaimark duality  ; Applications of the dual functor in Banach spaces; John W Gray  ;  Andreas Blass  ;  Marta Bunge and Murray Heggie  ;  John W Gray  ;  Peter T Johnstone  ;  A Joyal and G Wraith  ;  Anders Kock  ;  J Lambek and P J Scott  ;  M Makkai  ;  L D Nel  ;  Joan Wick Pelletier
UR  - http://www.ams.org/conm/030/
ER  -