INTRODUCTION TO CATEGORY THEORY
AVRAHAM AIZENBUD
Lectures.
Monday 16:1518:00, Zoom Room 9157335955.
T.A.
Guy Kapon, Thursday 16:1517:00. Zoom Room 71121049418
Oﬃce hours.
By appointment.
Dropbox Folder
Category_Theory_5781.
Youtube playlist
Category Theory.
Contents
1. General information
The course is of M.Sc. level. The main aim of the course is to teach the language of category
theory that is widely used in mathematics. If time allows, we will also discuss some
mathematical content of this theory and some applications.
2. Overview
We will discuss the notions of categories and functors important classes of those. We will give
many examples from diﬀerent areas of mathematics.
3. Prerequisite
To understand the main part of material of the course, the only required knowledge is basic
Group theory. However, in order to understand the examples and applications it is
recommended to be familiar with most of the following topics: Linear algebra, Group theory,
Algebraic topology, General topology, Commutative algebra, Diﬀerential Topology,Algebraic
Geometry, Functional analysis.
4. Topics

(1)
 Motivation, overview, deﬁnition of category, examples (sets, groups, a group,
abelian groups, modules, posets, a poset, small categories (+2 warnings))
, integers, topology, (pointed) topological spaces, representations, Gsets,
topological vector spaces (Banach, Hilbert, Hilbertian), varieties and manifolds,
metric spaces (isometry/Lipschitz), interesting subcategories of the over categories
(ﬁbration, vector bundle, local systems, (Leray) sheafs), opposite category , initial
and ﬁnal object, commutative diagrams (as a category) over/under cat. (co)limits,
(co)products , ﬁber products, pushout, (co)equalizer, mono/epimorphisms.

(2)
 Additive categories, examples, (co)ker/(co)image, examples, Abelian categories,
extensions, Grothendieck group.

(3)
 Functors, examples (forgetful
functors, duality, (internal) hom, (co)limits (pushforward and pullback between
over categories, Schur functors (tensor/symmetric/exterior powers, determinant)),
pullback of modules and representations), review of diagrams, faithful, full,
essentially surjective, equivalence, examples (NSS, Gelfand Naimark, Gprinciple
spaces and G, Galois correspondence (for topological spaces), duality of ﬁnite
dimensional spaces, linear spaces and matrices) , criterion for equvivalence.

(4)
 Category of functors, Yoneda lemma, (Grothendieck) sheaves, adjoint functor,
examples, review of (co)limits, Cobjects in D, examples (group object (top/lie/alg
group), vector bundles, ”application” to commutativity of π_{n}.

(5)
 Limits, colimits of categories, localisation of categories, Ore condition, Serre
quotient, localisation, examples.

(6)
 Groupoids, examples, classiﬁcation, representations, pull, push, limits, colimits,
Groupoid objects.

(7)
 Applications: Van Kampen theorem, Mackey theorem.

(8)
 2categories, monoidal categories, tannakian categories, ﬁber functor, Deligne
points, monoid and group objects in monoidal categories, cartesian monoidal
categories, cartesian closed categories.

(9)
 Exact and continuous functors, relation with adjunction.
projective/injective/compact generators, abelian case.

(10)
 BarrBeck, descent theory.

(11)
 Derived functors and categories. Existence and uniqueness criteria.

(12)
 Sheaves, sites and topoi.

(13)
 Enriched categories, DG categories, Top enriched, model categories, triangulated
categories.

(14)
 Simplicial sets and objects, DoldKan equivalence.

(15)
 Nerve, inﬁnity categories.
5. Textbook
S. Mac Lane, Categories for the Working Mathematician.
6. Email list
You are strongly encouraged to register to the course via the FGS, even if you are not a Weizmann student or not intrested in credit. This way you will get all the mesiges regarding to the coures.
You can also join/unjoin the course email list by sending an email to Guy Kapon (from the address you wish to
join/unjoin) with subject “join/unjoin me to cat5781”. To send a message to the course
mailing list send Guy an email with subject “email to cat5781 – the subject of your
message”.
7. How to get credit for the course?
The homework will be 100% of the grade.
