TY  - BOOK
AU  - Gray,John W.
ED  - American Mathematical Society.
TI  - Mathematical applications of category theory
T2  - Contemporary mathematics, 
SN  - 9780821876152 (online)
AV  - QA169 .A47 1983
U1  - 512/.55 19
PY  - 1984///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Categories (Mathematics)
KW  - Congresses
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 5-9, 1983"--T.p. verso; Includes bibliographies; Introduction; John W. Gray --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/01; The interaction between category theory and set theory; Andreas Blass --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749767; Synthetic calculus of variations; Marta Bunge and Murray Heggie --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749768; The representation of limits, lax limits and homotopy limits as sections; John W. Gray --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749769; Open locales and exponentiation; Peter T. Johnstone --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749770; Eilenberg-MacLane toposes and cohomology; A. Joyal and G. Wraith --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749771; A combinatorial theory of connections; Anders Kock --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749772; Aspects of higher order categorical logic; J. Lambek and P. J. Scott --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749773; A Stone-type representation theory for first order logic; M. Makkai --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749774; Topological universes and smooth Gelfand-Na�imark duality; L. D. Nel --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749775; Applications of the dual functor in Banach spaces; Joan Wick Pelletier --; http://www.ams.org/conm/030; http://dx.doi.org/10.1090/conm/030/749776; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/conm/030/
UR  - http://dx.doi.org/10.1090/conm/030
ER  -