Mathematical applications of category theory / [electronic resource] J.W. Gray, editor.
Material type:

Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK11306 |
"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 -- The interaction between category theory and set theory / Andreas Blass -- Synthetic calculus of variations / Marta Bunge and Murray Heggie -- The representation of limits, lax limits and homotopy limits as sections / John W. Gray -- Open locales and exponentiation / Peter T. Johnstone -- Eilenberg-MacLane toposes and cohomology / A. Joyal and G. Wraith -- A combinatorial theory of connections / Anders Kock -- Aspects of higher order categorical logic / J. Lambek and P. J. Scott -- A Stone-type representation theory for first order logic / M. Makkai -- Topological universes and smooth Gelfand-Na�imark duality / L. D. Nel -- Applications of the dual functor in Banach spaces / Joan Wick Pelletier --
http://dx.doi.org/10.1090/conm/030/01
http://dx.doi.org/10.1090/conm/030/749767
http://dx.doi.org/10.1090/conm/030/749768
http://dx.doi.org/10.1090/conm/030/749769
http://dx.doi.org/10.1090/conm/030/749770
http://dx.doi.org/10.1090/conm/030/749771
http://dx.doi.org/10.1090/conm/030/749772
http://dx.doi.org/10.1090/conm/030/749773
http://dx.doi.org/10.1090/conm/030/749774
http://dx.doi.org/10.1090/conm/030/749775
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
Description based on print version record.
There are no comments on this title.