IMSc Library catalog › Details for: Mathematical applications of category theory /

Normal view MARC view ISBD view

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

By: American Mathematical Society. Meeting (89th : 1983 : Denver, Colo.)Contributor(s): Gray, John W. (John Walker), 1931-Material type: Text

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

Contents:

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

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 29 )
Comments ( 0 )

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://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