Minicourse on Category Theory
at the University of Verona • begin November 10th, 2022 • by Ingo
Blechschmidt
Welcome to our joint course on category theory. đź‘‹
The language of category theory has proved to be the lingua franca of
diverse subject areas including considerable parts of algebra, geometry,
topology, mathematical logic, theoretical computer science and mathematical
physics. The strength of category theory is that manifold phenomena can be seen
together. As a basic example, category theory reveals a common origin to the
commutativity of binary operations such as addition and multiplication of
numbers; the cartesian product of sets, groups and spaces; and the pair type in
programming. After a gentle introduction into the foundations of category
theory, this course will be dedicated to contemporary applications. The course
requires no particular prerequisites.
I hope you will enjoy the course. Questions and suggestions are always welcome!
📆 Schedule
November 2022
Mo Tu We Th Fr Sa Su
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30
Mondays: 15:30–19:30, Aula B
Wednesdays: 17:30–19:30, Aula C
Thursdays: 9:30–10:30, Aula H
Fridays: 12:30–13:30, Aula C
Tomorrow, on Friday Nov 24th, directly after
our final category theory session, there is an extra session on free monads
and freer monads in Haskell.
đź’ˇ Syllabus
- Categories
- Motivation for category theory
- Categories: definition and examples
- Initial and terminal objects: definition and examples
- Monomorphisms, epimorphisms and isomorphisms: definition and
characterization in Set
- Opposite category: definition and applications
- Products and coproducts
- Definition of products (binary case)
- Examples in Set, Vect(ℝ), Pok
- Examples in Setᵒᵖ, Vect(ℝ)ᵒᵖ
- Definition of coproducts (binary case)
- Products and coproducts of empty families
- Products and coproducts of families in Vect(ℝ)
- Functors
- Definition
- Structural examples: identity, constant
- Examples from algebraic constructions
- Forgetful functors
- Powerset functors
- Functors between discrete categories as generalizations of maps between sets
- The 1-category of categories and functors involving this category
- Functors as diagrams
- Properties of functors: full, faithful, essentially surjective
- Elementary equivalences of categories
- Natural transformations
- Definition
- Motto: Natural transformations as uniform families of maps
- Examples involving sets and lists
- Examples from linear algebra
- Natural isomorphisms
- Horizontal and vertical composition
- Strong equivalences of categories
- Limits
- Motivating examples
- Definition of limits as terminal cones
- Colimits as the dual notion
- Examples in the category of topological spaces
- Products and terminal objects as special limits
- Equalizers, fiber products and pullback
- Complete categories
- Existence of limits and colimits in the category of Sets
- The Yoneda lemma and adjoints
- The real numbers as a completion of the rational numbers by ideal entities
- Presheaves as ideal objects
- Representable presheaves
- Statement of the Yoneda lemma
- The Yoneda embedding as a corollary
- Yoneda-style proofs
- The category of presheaves as a free cocompletion
- Definition of adjoint functor pairs
- Examples for adjoint functors
- Interaction with preservation of (co-)limits
- Monads, monoidal categories and tensor categories
- Diagrammatic definition of monoids
- Definition of monads
- Examples for monads
- Monads for effects
- Monads as basis-free algebraic theories
- Monads and adjunctions
- General monoidal categories
- Examples for monoidal categories
- Examples for monoid objects in monoidal categories
- Introduction to quantum field theory
- Applications III
Side topic: Sets and classes
- Motto and examples
- Russell's paradox and its resolution
- Proper classes in ZFC
- Dealing with size issues
- Other set-theoretic phantoms
Side topic: Agda, the programming language, proof language and proof assistant
- Basic functions with Booleans and natural numbers
- Polymorphic functions and dependent types
- Predicates: the Boolean and the witness-based approach
- Propositional equality
- Proofs with natural numbers
- Induction as recursion
đź“– References
- Jiřà Adámek, Horst Herrlich, George Strecker.
Abstract and
Concrete Categories, The Joy of Cats (pdf). Dover,
2009.
- Steve Awodey. Category Theory. Clarendon Press, 2006.
- Michael Barr, Charles Wells. Category Theory for Computing
Science (pdf). Prentice Hall, 1990.
- Martin Brandenburg. EinfĂĽhrung in die Kategorientheorie.
Mit ausführlichen Erklärungen und zahlreichen Beispielen. Springer,
2016.
- William Lawvere. Taking
categories seriously (pdf). Reprints in Theory and Applications
of Categories, No. 8, 2005, pages 1–24.
- William Lawvere, Steve Schanuel. Conceptual
Mathematics: A
First Introduction to Categories. Cambridge University
Press, 1997.
- Saunders Mac Lane. Categories for the Working Mathematician. Springer, 1971.
- Sergei Gelfand, Yuri Manin. Methods
of homological algebra. Springer, 1996. (Beware of typos)
- Emily Riehl. Category theory in
context (pdf). Dover Publications, 2016.
- Tom Leinster. Category Theory (web),
2007.
- Bartosz Milewski. Category
Theory for Programmers (web), 2019.
- Jaap van Oosten. Basic
Category Theory (pdf),
2002.
- Emily Riehl. A survey of
categorical concepts (pdf).
2012.
- David Spivak. Category theory for
the sciences (pdf), 2014.
- The Catsters. Various topics in category
theory (YouTube).
2007–2011.
- John Baez. Categories,
Quantization, and Much More (web), 2006.
- Jean-Pierre Marquis. Category
Theory (web). The Stanford Encyclopedia
of Philosophy, Edward N. Zalta (ed.), 2010.
đź‘‹ Side topics
- Introduction to toposes
- Introduction to constructive mathematics
- Introduction to philosophy of mathematics (further keywords: platonism, formalism, fictionalism)
- Theorems for free
- Provability, incompleteness, continuum hypothesis, multiverse philosophy
- Agda:
transcript,
(browse),
exercises,
Rosetta stone,
standard library
- A cartoon proof of Löb's theorem
- Introduction to geometry and topology
- Topological quantum field theory:
slides,
thesis:
oddities of quantum mechanics are unintuitive to us because Hilb is much
more like Rel instead of Set
- Free monads:
transcript,
paper by Oleg,
Haskell library,
slides
đź’¬ Contact
mail: iblech@speicherleck.de
phone: +49 176 95110311 (also Telegram)