Higher Operads, Higher Categories
Category theory has experienced a resurgence in popularity recently because of new links with topology and mathematical physics. This book provides a clearly written account of higher order category theory and presents operads and multicategories as a natural language for its study. Tom Leinster has included necessary background material and applications as well as appendices containing some of the more technical proofs that might have disrupted the flow of the text.
- Subject that is growing in importance due to exciting applications in mathematical physics
- Author has written user-friendly treatment of subject including background and applications
Product details
August 2004Paperback
9780521532150
448 pages
229 × 152 × 25 mm
0.584kg
150 b/w illus.
Available
Table of Contents
- Part I. Background:
- 1. Classical categorical structures
- 2. Classical operads and multicategories
- 3. Notions of monoidal category
- Part II. Operads. 4. Generalized operads and multicategories: basics
- 5. Example: fc-multicategories
- 6. Generalized operads and multicategories: further theory
- 7. Opetopes
- Part III. n-categories:
- 8. Globular operads
- 9. A definition of weak n-category
- 10. Other definitions of weak n-category
- Appendices: A. Symmetric structures
- B. Coherence for monoidal categories
- C. Special Cartesian monads
- D. Free multicategories
- E. Definitions of trees
- F. Free strict n-categories
- G. Initial operad-with-contraction.