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
Posted Content
Tensor categories: A selective guided tour
TL;DR: The lecture notes for a short course on tensor categories as mentioned in this paper are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them.
Proceedings ArticleDOI
What precisely are E∞ring spaces and E∞ring spectra?
TL;DR: E∞ ring spectra were defined in 1972, but the term has since acquired several alternative meanings as discussed by the authors, and the new formulations are not always known to be equivalent to the old ones and even when they are, the notion of equivalence needs discussion: Quillen equivalent categories can be quite seriously inequivalent.
Journal ArticleDOI
Relative Frobenius algebras are groupoids
TL;DR: In this paper, the authors characterize groupoids as special dagger Frobenius algebras in the category of sets and relations and then generalized to a non-unital setting, by establishing an adjunction between H*-algebra in the class of classes and locally cancellative regular semigroupoids.
Journal ArticleDOI
Morita equivalence and homological characterization of semirings
Yefim Katsov,T. G. Nam +1 more
TL;DR: In this article, the concept of "Morita equivalence" in a non-additive semiring setting, as well as its application to homological characterization of semirings are considered.
Journal ArticleDOI
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
TL;DR: The connection between three notions of computation: Moggi?s monads, Hughes?s arrows and McBride and Paterson?s idioms is revisited and it is shown that idioms are equivalent to arrows that satisfy the type isomorphism A?B?1?(A?B)?
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