Category theory

lmat2150  2022-2023  Louvain-la-Neuve

Category theory
5.00 credits
30.0 h + 15.0 h
Q1
Teacher(s)
Gran Marino;
Language
Prerequisites
LMAT1131 - linear algebra (first year of the bachelor program in mathematics) or any equivalent cours.
LMAT 1231 - multilinear algebra and group theory (second year of the bachelor program in mathematics) or any equivalent cours.
Main themes
Categories, functors, natural transformations.
Adjoint functors and equivalences of categories.
Limits and colimits.
Regular, exact and abelian categories.
Exact sequences and homological lemmas.
 
Learning outcomes

At the end of this learning unit, the student is able to :

1 Contribution of the course to learning outcomes in the Master in Mathematics programme.
By the end of this activity, students will have made progress in : 

-  Recognise and understand a basic foundation of mathematics.He will have made progress in:
-- Recognise the fundamental concepts of some important current mathematical theories.
-- Establish the main connections between these theories.
- Show evidence of abstract thinking and of a critical spirit. He will have made progress in :
-- Identify the unifying aspects of different situations and experiences.
-- Argue within the context of the axiomatic method.
-- Construct and draw up a proof independently, clearly and rigorously.
Learning outcomes specific to the course.
By the end of this activity, students will be able to : 

-  Identify, in his mathematical knowledge, several meaningful examples of categories, functors and natural transformations.
-  Establish the adjointness of some pairs of functors and the equivalence of some categories.
-  Construct limits and colimits, eventually using adjoint functors and equivalences of categories.
-  Recognise and prove some important exactness properties of regular, exact and abelian categories.
-  Concretely explain different notions and results in the categories of sets, groups, abelian groups and topological groups.
 
Content
In this course we introduce the basic language and some fundamental results in category theory, in order to explain some mathematical situations encountered in other courses during the bachelor program and the first year of the master program in mathematics.
The following subjects are studied :
- Definition and examples of categories, functors, natural transformations.
-  Isomorphisms, monomorphisms and epimorphisms in a category.
- Adjoint functors (unit, counit, triangular identities) and their fundamental properties.
- Reflective subcategories and equivalences of categories.
- Examples of limits and colimits.
- Limits and adjoint functors. 
- Definition of regular and of exact category, main properties and examples. Barr-Kock theorem. Mal'tsev categories.
- Abelian categories, exact sequences, five lemma, nine lemma, snake lemma.
Teaching methods
The course is taught through lectures, and specific exercice sessions.
During these sessions, students are asked to give suggestions and formulate ideas on the basis of their previous knowledge in order to solve the problems and analyse specific examples. Special attention is paid to the connections between the new concepts introduced in the course and the ones considered in other courses in the Bachelor and Master in Mathematics.
Evaluation methods
Assessment is by oral examination. This tests the knowledge and the understanding of the main concepts, examples and fundamental results, the ability to give a coherent proof of a result studied in the course. 
Students may choose the examination language (English or French).
Online resources
Website MoodleUCLouvain
Bibliography
Syllabus pour la partie sur les catégories exactes et abéliennes (disponible sur MoodleUCLouvain).
Syllabus for the part on exact and abelian categories (available on MoodleUCLouvain).
F. Borceux : Handbook of categorical algebra, Vol. 1-2 (Cambridge University Press).
P. Freyd : Abelian categories (disponible sur MoodleUCLouvain).
S. Mac Lane : Categories for the Working Mathematician (Springer).
T. Leinster : Basic Category Theory (Cambridge studies in advanced mathematics)
Faculty or entity
MATH


Programmes / formations proposant cette unité d'enseignement (UE)

Title of the programme
Sigle
Credits
Prerequisites
Learning outcomes
Master [120] in Mathematics

Master [60] in Mathematics