# AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

# Mathematical Applications of Category Theory

### About this Title

**J. W. Gray**, Editor

Publication: Contemporary Mathematics

Publication Year:
1984; Volume 30

ISBNs: 978-0-8218-5032-9 (print); 978-0-8218-7615-2 (online)

DOI: https://doi.org/10.1090/conm/030

MathSciNet review: 749766

### Table of Contents

**Download chapters as PDF**

**Front/Back Matter**

**Articles**

- John W. Gray – Introduction
- Andreas Blass – The interaction between category theory and set theory [MR 749767]
- Marta Bunge and Murray Heggie – Synthetic calculus of variations [MR 749768]
- John W. Gray – The representation of limits, lax limits and homotopy limits as sections [MR 749769]
- Peter T. Johnstone – Open locales and exponentiation [MR 749770]
- A. Joyal and G. Wraith – Eilenberg-MacLane toposes and cohomology [MR 749771]
- Anders Kock – A combinatorial theory of connections [MR 749772]
- J. Lambek and P. J. Scott – Aspects of higher order categorical logic [MR 749773]
- M. Makkai – A Stone-type representation theory for first order logic [MR 749774]
- L. D. Nel – Topological universes and smooth Gel′fand-Naĭmark duality [MR 749775]
- Joan Wick Pelletier – Applications of the dual functor in Banach spaces [MR 749776]