I taught an introductory course on category theory Winter 2016 but this one is a bit more advanced, and less well organized.

The hand-written notes here are by Christian Williams. If you discover any errors in the notes please email me, and I'll add them to the list of errors.

- Lecture 1 What is pure mathematics all about? The importance of free structures.
- Lecture 2: The natural numbers as a free structure. Adjoint functors.
- Lecture 3: Adjoint functors in terms of unit and counit.
- Lecture 4: 2-Categories. Adjunctions.
- Lecture 5: 2-Categories and string diagrams. Composing adjunctions.
- Lecture 6: The 'main spine' of mathematics. Getting a monad from an adjunction.
- Lecture 7: Definition of a monad. Getting a monad from an adjunction. The augmented simplex category.
- Lecture 8: The walking monad, the augmented simplex category and the simplex category.
- Lecture 9: Simplicial abelian groups from simplicial sets. Chain complexes from simplicial abelian groups.
- Lecture 10: Chain complexes from simplicial abelian groups. The homology of a chain complex.
- Lecture 11: Comonads from adjunctions. The walking comonad. The bar construction.
- Lecture 12: The bar construction: getting a simplicial objects from an adjunction. The bar construction for \(G\)-sets, previewed.
- Lecture 13: The adjunction between \(G\)-sets and sets.
- Lecture 14: The bar construction for groups.
- Lecture 15: The simplicial set \( \mathbb{E}G \) obtained by applying the bar construction to the one-point \(G\)-set, its geometric realization \( EG = |\mathbb{E}G| \), and the free simplicial abelian group \( \mathbb{Z}[\mathbb{E}G] \).
- Lecture 16: The chain complex \( C(G) \) coming from the simplicial abelian group \( \mathbb{Z}[\mathbb{E}G] \), its homology, and the definition of group cohomology \(H^n(G,A)\) with coefficients in a \(G\)-module.
- Lecture 17: Extensions of groups. The Jordan-Hölder theorem. How an extension of a group \(G\) by an abelian group \(A\) gives an action of \(G\) on \(A\) and a 2-cocycle \(c \colon G^2 \to A\).
- Lecture 18: Classifying abelian extensions of groups. Direct products, semidirect products, central extensions and general abelian extensions. The groups of order 8 as abelian extensions.
- Lecture 19: A 2-cocycle in everyday life: the carry digit. The chain complex for the cohomology of \(G\) with coefficients in \(A\), starting from the bar construction, and leading to the 2-cocycles used in classifying abelian extensions. The classification of extensions of \(G\) by \(A\) in terms of \(H^2(G,A)\).
- Lecture 19: Examples of group cohomology: nilpotent groups and the fracture theorem. Higher-dimensional algebra and homotopification: the nerve of a category and the nerve of a topological space. \(\mathbb{E}G\) as the nerve of the translation groupoid \(G/\!/G\). \(BG = EG/G\) as the walking space with fundamental group \(G\).

baez@math.removethis.ucr.andthis.edu

© 2018 John Baez