Mathematical applications of category theory
- Providence, R.I. : American Mathematical Society, c1984
- 1 online resource (vii, 307 p.)
- Contemporary mathematics v. 30 10983627 .
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
9780821876152 (online)
Categories (Mathematics)
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
9780821876152 (online)
Categories (Mathematics)