| 000 -LEADER |
|---|
| fixed length control field |
01513nmm a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230306s9999||||xx |||||||||||||||||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780821876152 (online) |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Mathematical applications of category theory |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Providence, R.I. : |
| Name of publisher, distributor, etc. |
American Mathematical Society, |
| Date of publication, distribution, etc. |
c1984 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (vii, 307 p.) |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Contemporary mathematics |
| Volume/sequential designation |
v. 30 |
| International Standard Serial Number |
10983627 |
| 500 ## - GENERAL NOTE |
|---|
| General 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 59, 1983T.p. verso. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographies. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
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 |
| Statement of responsibility |
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 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Categories (Mathematics) |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gray John W |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.ams.org/conm/030/">http://www.ams.org/conm/030/</a> |
