Anna Montaruli: A constructive approach to the Freyd-Mitchell Embedding Theorem
Time: Wed 2019-06-05 10.00 - 11.45
Lecturer: Anna Montaruli
Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
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.