Special topics in category theory [ LMAT2220 ]

Website iCampus ( > https://icampus.uclouvain.be/). Under construction.

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.

- Communicate in a scientific manner. He will have made progress in:

-- Structure an oral presentation and adapt it to the listeners' level of understanding.

- Show evidence of independent learning. He will have made progress in:

-- Correctly locate an advanced mathematical text in relation to knowledge acquired.

- Begin a research project thanks to a deeper knowledge of one or more fields and their problematic issues in current mathematics. He will have made progress in:

-- Develop in an independent way his mathematical intuition by anticipating the expected results (formulating conjectures) and by verifying their consistency with already existing results.

-- Ask relevant and lucid questions on an advanced mathematical topic in an independent manner.

Learning outcomes specific to the course. By the end of this activity, students will be able to: 

- Understand the notion of commutator from a categorical point of view, and use it to compute group homology.

-  Characterise Galois coverings corresponding to different Galois structures, making the link with coverings in algebraic topology and Galois extensions in algebra.

-  Analyse properties of reflective subcategories and of (semi)localisations using factorization systems and closure operators.

-  Use the point of view of algebraic theories and the point of view of monads to understand  the structures of general algebra and their fundamental properties.

-  Use sheaf theory and topos theory to study the passage from local to global. Make the link between intuitionistic logic and topos theory.

-  Understand some constructions in homological algebra and ring theory using categorical groups.

One or several advanced topics in category theory. Among the possible topics are: protomodular and semi-abelian categories, categorical Galois theory, localisations, factorisation systems and torsion theories, algebraic theories and monads, sheaf theory and topos theory, categorical groups and homological algebra

 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.

- Communicate in a scientific manner. He will have made progress in:

-- Structure an oral presentation and adapt it to the listeners' level of understanding.

- Show evidence of independent learning. He will have made progress in:

-- Correctly locate an advanced mathematical text in relation to knowledge acquired.

- Begin a research project thanks to a deeper knowledge of one or more fields and their problematic issues in current mathematics. He will have made progress in:

-- Develop in an independent way his mathematical intuition by anticipating the expected results (formulating conjectures) and by verifying their consistency with already existing results.

-- Ask relevant and lucid questions on an advanced mathematical topic in an independent manner.

Learning outcomes specific to the course. By the end of this activity, students will be able to: 

- Understand the notion of commutator from a categorical point of view, and use it to compute group homology.

-  Characterise Galois coverings corresponding to different Galois structures, making the link with coverings in algebraic topology and Galois extensions in algebra.

-  Analyse properties of reflective subcategories and of (semi)localisations using factorization systems and closure operators.

-  Use the point of view of algebraic theories and the point of view of monads to understand  the structures of general algebra and their fundamental properties.

-  Use sheaf theory and topos theory to study the passage from local to global. Make the link between intuitionistic logic and topos theory.

-  Understand some constructions in homological algebra and ring theory using categorical groups.

Assessment may be in various forms, which will be established by the teacher at the beginning of the activity. Assessment may be based solely on student presentations during the course, but there may also be additional work to submit after the end of the course or a more traditional oral examination. In the case of work to be submitted or an oral examination, students may choose the examination language (English or French).

The course is taught through lectures. During sessions, students are regularly called on to give their contribution in the form of presentation of parts of the course, as previously established by the teacher.

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.

- Communicate in a scientific manner. He will have made progress in:

-- Structure an oral presentation and adapt it to the listeners' level of understanding.

- Show evidence of independent learning. He will have made progress in:

-- Correctly locate an advanced mathematical text in relation to knowledge acquired.

- Begin a research project thanks to a deeper knowledge of one or more fields and their problematic issues in current mathematics. He will have made progress in:

-- Develop in an independent way his mathematical intuition by anticipating the expected results (formulating conjectures) and by verifying their consistency with already existing results.

-- Ask relevant and lucid questions on an advanced mathematical topic in an independent manner.

Learning outcomes specific to the course. By the end of this activity, students will be able to: 

- Understand the notion of commutator from a categorical point of view, and use it to compute group homology.

-  Characterise Galois coverings corresponding to different Galois structures, making the link with coverings in algebraic topology and Galois extensions in algebra.

-  Analyse properties of reflective subcategories and of (semi)localisations using factorization systems and closure operators.

-  Use the point of view of algebraic theories and the point of view of monads to understand  the structures of general algebra and their fundamental properties.

-  Use sheaf theory and topos theory to study the passage from local to global. Make the link between intuitionistic logic and topos theory.

-  Understand some constructions in homological algebra and ring theory using categorical groups.

J. Adamek, J. Rosicky, E.M. Vitale : Algebraic Theories (Cambridge University Press)

F. Borceux, D. Bourn : Mal'cev, Protomodular, Homological and Semi-Abelian Categories

(Kluwer Academic Publishers)

F. Borceux, G. Janelidze : Galois Theories (Cambridge University Press)

D. Bourn, M. Gran : Torsion theories in homological categories (Journal of Algebra)

A.  Carboni,  G.M. Kelly, G. Janelidze, R. Paré : On localization and stabilization of factorization systems (Applied Categorical Structures)