Mathematical Applications of Category Theory
J. W. Gray · Contemporary mathematics - American Mathematical Society · 1984
The interaction between category theory and set theory by A. Blass Synthetic calculus of variations by M. Bunge and M. Heggie The representation of limits, lax limits and homotopy limits as sections by J. W. Gray Open locales and exponentiation by P. T. Johnstone Eilenberg-Mac Lane toposes and cohomology by A. Joyal and G. Wraith A combinatorial theory of connections by A. Kock Aspects of higher order categorical logic by J. Lambek and P. J. Scott A Stone-type representation theory for first order logic by M. Makkai Topological universes and smooth Gelfand-Naimark duality by L. D. Nel Applications of the dual functor in Banach spaces by J. W. Pelletier.