Mathematical applications of category theory / [electronic resource]
J.W. Gray, editor.
- Providence, R.I. : American Mathematical Society, c1984.
- 1 online resource (vii, 307 p.)
- Contemporary mathematics, v. 30 0271-4132 (print); 1098-3627 (online); .
- Contemporary mathematics (American Mathematical Society) ; v. 30. .
"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 / 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 / Eilenberg-MacLane toposes and cohomology / A combinatorial theory of connections / Aspects of higher order categorical logic / A Stone-type representation theory for first order logic / Topological universes and smooth Gelfand-Na�imark 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 -- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/01 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749767 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749768 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749769 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749770 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749771 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749772 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749773 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749774 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749775 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
Mode of access : World Wide Web
9780821876152 (online)
Categories (Mathematics)--Congresses.
QA169 / .A47 1983
512/.55
"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 / 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 / Eilenberg-MacLane toposes and cohomology / A combinatorial theory of connections / Aspects of higher order categorical logic / A Stone-type representation theory for first order logic / Topological universes and smooth Gelfand-Na�imark 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 -- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/01 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749767 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749768 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749769 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749770 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749771 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749772 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749773 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749774 http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749775 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
Mode of access : World Wide Web
9780821876152 (online)
Categories (Mathematics)--Congresses.
QA169 / .A47 1983
512/.55