Higher Operads, Higher Categories

ISBN-13: 9780521532150 / Angielski / Miękka / 2004 / 448 str.

Tom Leinster

Opis

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.

Spis treści

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.