Mathematical applications of category theory / [electronic resource] J.W. Gray, editor.Material type: TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 30.Publication details: Providence, R.I. : American Mathematical Society, c1984Description: 1 online resource (vii, 307 p.)ISBN: 9780821876152 (online)Subject(s): Categories (Mathematics) -- CongressesAdditional physical formats: Mathematical applications of category theory /DDC classification: 512/.55 LOC classification: QA169 | .A47 1983Online resources: Contents | Contents
|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.
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 --
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.