Mathematical applications of category theory
Author(s)
Bibliographic Information
Mathematical applications of category theory
(Contemporary mathematics, v. 30)
American Mathematical Society, c1984
- pbk. : alk. paper
Available at 45 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
"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
Description and Table of Contents
Description
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS Summer Research Conference on Axiomatic Set Theory, held in Boulder, Colorado, June 19-25, 1983. This was the first large meeting devoted exclusively to set theory since the legendary 1967 UCLA meeting, and a large majority of the most active research mathematicians in the field participated. All areas of set theory, including constructibility, forcing, combinatorics and descriptive set theory, were represented; many of the papers in the proceedings explore connections between areas. Readers should have a background of graduate-level set theory. There is a paper by S. Shelah applying proper forcing to obtain consistency results on combinatorial cardinal 'invariants' below the continuum, and papers by R. David and S. Freidman on properties of $0^\ No. $.Papers by A. Blass, H.D. Donder, T. Jech and W. Mitchell involve inner models with measurable cardinals and various combinatorial properties. T. Carlson largely solves the pin-up problem, and D. Velleman presents a novel construction of a Souslin tree from a morass. S. Todorcevic obtains the strong failure of the \qedprinciple from the Proper Forcing Axiom and A. Miller discusses properties of a new species of perfect-set forcing. H. Becker and A. Kechris attack the third Victoria Delfino problem while W. Zwicker looks at combinatorics on $P_\kappa(\lambda)$ and J. Henle studies infinite-exponent partition relations. A. Blass shows that if every vector space has a basis then $AC$ holds. I. Anellis treats the history of set theory, and W. Fleissner presents set-theoretical axioms of use in general topology.
Table of Contents
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.
by "Nielsen BookData"