Open AccessBook
Categories for the Working Mathematician
TLDR
In this article, the authors present a table of abstractions for categories, including Axioms for Categories, Functors, Natural Transformations, and Adjoints for Preorders.Abstract:
I. Categories, Functors and Natural Transformations.- 1. Axioms for Categories.- 2. Categories.- 3. Functors.- 4. Natural Transformations.- 5. Monics, Epis, and Zeros.- 6. Foundations.- 7. Large Categories.- 8. Hom-sets.- II. Constructions on Categories.- 1. Duality.- 2. Contravariance and Opposites.- 3. Products of Categories.- 4. Functor Categories.- 5. The Category of All Categories.- 6. Comma Categories.- 7. Graphs and Free Categories.- 8. Quotient Categories.- III. Universals and Limits.- 1. Universal Arrows.- 2. The Yoneda Lemma.- 3. Coproducts and Colimits.- 4. Products and Limits.- 5. Categories with Finite Products.- 6. Groups in Categories.- IV. Adjoints.- 1. Adjunctions.- 2. Examples of Adjoints.- 3. Reflective Subcategories.- 4. Equivalence of Categories.- 5. Adjoints for Preorders.- 6. Cartesian Closed Categories.- 7. Transformations of Adjoints.- 8. Composition of Adjoints.- V. Limits.- 1. Creation of Limits.- 2. Limits by Products and Equalizers.- 3. Limits with Parameters.- 4. Preservation of Limits.- 5. Adjoints on Limits.- 6. Freyd's Adjoint Functor Theorem.- 7. Subobjects and Generators.- 8. The Special Adjoint Functor Theorem.- 9. Adjoints in Topology.- VI. Monads and Algebras.- 1. Monads in a Category.- 2. Algebras for a Monad.- 3. The Comparison with Algebras.- 4. Words and Free Semigroups.- 5. Free Algebras for a Monad.- 6. Split Coequalizers.- 7. Beck's Theorem.- 8. Algebras are T-algebras.- 9. Compact Hausdorff Spaces.- VII. Monoids.- 1. Monoidal Categories.- 2. Coherence.- 3. Monoids.- 4. Actions.- 5. The Simplicial Category.- 6. Monads and Homology.- 7. Closed Categories.- 8. Compactly Generated Spaces.- 9. Loops and Suspensions.- VIII. Abelian Categories.- 1. Kernels and Cokernels.- 2. Additive Categories.- 3. Abelian Categories.- 4. Diagram Lemmas.- IX. Special Limits.- 1. Filtered Limits.- 2. Interchange of Limits.- 3. Final Functors.- 4. Diagonal Naturality.- 5. Ends.- 6. Coends.- 7. Ends with Parameters.- 8. Iterated Ends and Limits.- X. Kan Extensions.- 1. Adjoints and Limits.- 2. Weak Universality.- 3. The Kan Extension.- 4. Kan Extensions as Coends.- 5. Pointwise Kan Extensions.- 6. Density.- 7. All Concepts are Kan Extensions.- Table of Terminology.read more
Citations
More filters
Journal ArticleDOI
A note on inconsistencies caused by fixpoints in a Cartesian closed category
H. Huwig,Axel Poigné +1 more
TL;DR: In this article, the authors bridge the gap between computer science and category theory by proposing cartesian closed categories with fixpoints, which axiomatize the paradigm of recursive programming with higher types.
Journal ArticleDOI
Normalization and the Yoneda embedding
TL;DR: This work shows how to solve the word problem for simply typed λβη-calculus by using a few well-known facts about categories of presheaves and the Yoneda embedding using P-category theory, a version of ordinary category theory where each hom-set is equipped with a partial equivalence relation.
Posted Content
Symplectic topology of Mañé's critical values
TL;DR: In this article, the authors studied the dynamics and symplectic topology of energy hypersurfaces of mechanical Hamiltonians on twisted cotangent bundles, and showed that Rabinowitz Floer homology does not vanish for energy levels k > c and, as a consequence, these level sets are not displaceable.
Journal ArticleDOI
Calculating limits and colimits in pro-categories
TL;DR: In this article, the authors present some constructions of limits and colimits in pro-categories, and show that cofiltered limits in procategories commute with finite-colimits.
Journal ArticleDOI
Minimalist approach to the classification of symmetry protected topological phases
TL;DR: In this article, a generalized cohomology hypothesis was proposed for symmetry protected topological (SPT) phases, which is satisfied by existing proposals and captures essential aspects of SPT classification, and formulas relating classifications in different dimensions and/or protected by different symmetry groups are derived.
Related Papers (5)
Graduate Texts in Mathematics
Rajendra Bhatia,Glen Bredon,Wolfgang Walter,Joseph J. Rotman,M. Ram Murty,Jane Gilman,Peter Walters,Martin Golubitsky,Ioannis Karatzas,Henri Cohen,Raoul Bott,Gaisi Takeuti,Béla Bollobás,John M. Lee,Jiří Matoušek,Saunders Mac Lane,John L. Kelley,B. A. Dubrovin,Tom M. Apostol,John Stillwell,William Arveson +20 more