# Anna Montaruli: A constructive approach to the Freyd-Mitchell Embedding Theorem

**Time: **
Wed 2019-06-05 10.00 - 11.45

**Location: **
Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

**Participating: **
Anna Montaruli

Abstract: The Freyd–Mitchell Embedding Theorem states that every abelian category with some extra properties can be embedded into a category of modules over a certain ring. This result is constructively suspicious, and its proof seems to be non-constructive in many parts.

After a brief introduction on abelian categories, I'll present the proof of the theorem, pointing out the parts in which non-constructive tools are used, and showing some small counterexamples.

The talk, based on joint work with Erik Palmgren, aims to present a status report on the project.