Monoidal Category Theory

Unifying Concepts in Mathematics, Physics, and Computing

by Yanofsky

| ISBN: 9780262380782 | Copyright 2024

Click here to preview

Instructor Requests

Digital Exam/Desk Copy Print Desk Copy Ancillaries
Tabs

A comprehensive, cutting-edge, and highly readable textbook that makes category theory and monoidal category theory accessible to students across the sciences.

Category theory is a powerful framework that began in mathematics but has since expanded to encompass several areas of computing and science, with broad applications in many fields. In this comprehensive text, Noson Yanofsky makes category theory accessible to those without a background in advanced mathematics. Monoidal Category Theory demonstrates the expansive uses of categories, and in particular monoidal categories, throughout the sciences. The textbook starts from the basics of category theory and progresses to cutting-edge research. Each idea is defined in simple terms and then brought alive by many real-world examples before advancing to theorems and uncomplicated proofs. Richly guided exercises ground readers in concrete computation and application. The result is a highly readable and engaging textbook that will open the world of category theory to many.

•Makes category theory accessible to non-math majors
•Uses easy-to-understand language and emphasizes diagrams over equations
•Incremental, iterative approach eases students into advanced concepts
•A series of embedded mini-courses cover such popular topics as quantum computing, categorical logic, self-referential paradoxes, databases and scheduling, and knot theory
•Extensive exercises and examples demonstrate the broad range of applications of categorical structures
•Modular structure allows instructors to fit text to the needs of different courses
•Instructor resources include slides

Expand/Collapse All
Contents (pg. vii)
Preface (pg. ix)
1. Introduction (pg. 1)
1.1 Categories (pg. 1)
1.2 Monoidal Categories (pg. 4)
1.3 The Examples and the Mini-Courses (pg. 5)
1.4 Mini-Course: Sets and Categorical Thinking (pg. 8)
2. Categories (pg. 33)
2.1 Basic Definitions and Examples (pg. 33)
2.2 Basic Properties (pg. 58)
2.3 Related Categories (pg. 64)
2.4 Mini-Course: Basic Linear Algebra (pg. 67)
3. Structures within Categories (pg. 83)
3.1 Products and Coproducts (pg. 83)
3.2 Limits and Colimits (pg. 102)
3.3 Slices and Coslices (pg. 110)
3.4 Mini-Course: Self-Referential Paradoxes (pg. 111)
4. Relationships between Categories (pg. 141)
4.1 Functors (pg. 141)
4.2 Natural Transformations (pg. 159)
4.3 Equivalences (pg. 168)
4.4 Adjunctions (pg. 171)
4.5 Exponentiation and Comma Categories (pg. 188)
4.6 Limits and Colimits Revisited (pg. 196)
4.7 The Yoneda Lemma (pg. 201)
4.8 Mini-Course: Basic Categorical Logic (pg. 208)
5. Monoidal Categories (pg. 225)
5.1 Strict Monoidal Categories (pg. 226)
5.2 Cartesian Categories (pg. 232)
5.3 Monoidal Categories (pg. 237)
5.4 Coherence Theory (pg. 254)
5.5 String Diagrams (pg. 262)
5.6 Mini-Course: Advanced Linear Algebra (pg. 266)
6. Relationships between Monoidal Categories (pg. 281)
6.1 Monoidal Functors and Natural Transformations (pg. 282)
6.2 Coherence Theorems (pg. 294)
6.3 When Coherence Fails (pg. 308)
6.4 Mini-Course: Duality Theory (pg. 313)
7. Variations of Monoidal Categories (pg. 331)
7.1 Braided Monoidal Categories (pg. 332)
7.2 Closed Categories (pg. 341)
7.3 Ribbon Categories (pg. 354)
7.4 Mini-Course: Quantum Groups (pg. 360)
8. Describing Structures (pg. 381)
8.1 Algebraic Theories (pg. 381)
8.2 Operads (pg. 395)
8.3 Monads (pg. 409)
8.4 Algebraic 2-Theories (pg. 427)
8.5 Mini-Course: Databases and Schedules (pg. 433)
9. Advanced Topics (pg. 447)
9.1 Enriched Category Theory (pg. 447)
9.2 Kan Extensions (pg. 454)
9.3 Homotopy Theory (pg. 466)
9.4 Higher Category Theory (pg. 500)
9.5 Topos Theory (pg. 511)
9.6 Mini-Course: Homotopy Type Theory (pg. 522)
10. More Mini-Courses (pg. 533)
10.1 Mini-Course: Knot Theory (pg. 534)
10.2 Mini-Course: Basic Quantum Theory (pg. 543)
10.3 Mini-Course: Quantum Computing (pg. 557)
Appendix A: Venn Diagrams (pg. 591)
Appendix B: Index of Categories (pg. 597)
Appendix C: Suggestions for Further Study (pg. 603)
Appendix D: Answers to Selected Problems (pg. 607)
Bibliography (pg. 619)
Index (pg. 639)

Noson S. Yanofsky

Noson S. Yanofsky is Professor of Computer and Information Science at Brooklyn College and The Graduate Center, CUNY, and author, most recently, of Theoretical Computer Science for the Working Category Theorist, among other books.

Instructors Only
You must have an instructor account and submit a request to access instructor materials for this book.
eTextbook
Go paperless today! Available online anytime, nothing to download or install.

Features

  • Bookmarking
  • Note taking
  • Highlighting