Mathematical applications of category theory
Material type: Computer fileSeries: Contemporary mathematics ; v. 30Publication details: Providence, R.I. : American Mathematical Society, c1984Description: 1 online resource (vii, 307 p.)ISBN: 9780821876152 (online)Subject(s): Categories (Mathematics)Online resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK21028 |
Proceedings 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.
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 ; 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 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
There are no comments on this title.