Aims

This is an option course in first and second masters' year. It can be taken in both of them as the content will change every year.

Main themes

One or more arguments in the following list:

- Category theory and commutative algebra: classification of module categories, faithfully projective modules, Eilenberg-Watts theorem, Morita theorem; exact categories, regular projective objects, equivalence between exact categories with enough regular projective objects.
- Category theory and universal algebra: monads, algebras for a monad; monads over Set, finitary monads, algebraic categories, characterization of varieties and quasi-varieties.
- Category theory and algebric geometry: sheaves on a topological space; Grothendieck topos, elementary topos.
- Category theory and homological algebra: exact and abelian categories, localisations; monoidal categories, categorical groups, group extensions.
- Category theory, knot theory and quantum groups: monoïdal categories, braid groups, braided categories, Hopf algebras, invariants.
- Category theory and algebraic topology: groups, groupoids and fundamental groups of a topological space, exact sequence of groups and groupoids associated with a fibretion, Van Kampen theorem.

Other credits in programs