000			01513nmm a2200181Ia 4500
008			230306s9999||||xx |||||||||||||||||und||
020			_a9780821876152 (online)
245		0	_aMathematical applications of category theory
260			_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1984
300			_a1 online resource (vii, 307 p.)
490			_aContemporary mathematics _vv. 30 _x10983627
500			_aProceedings of the special session on mathematical applications of category theory, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 59, 1983T.p. verso.
504			_aIncludes bibliographies.
505			_tIntroduction ; 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 ; EilenbergMacLane toposes and cohomology ; A combinatorial theory of connections ; Aspects of higher order categorical logic ; A Stonetype representation theory for first order logic ; Topological universes and smooth GelfandNaimark duality ; Applications of the dual functor in Banach spaces _rJohn 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
650			_aCategories (Mathematics)
700			_aGray John W
856			_uhttp://www.ams.org/conm/030/
999			_c28441 _d28441