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

Tid: On 2019-06-05 kl 10.00 - 11.45

Föreläsare: Anna Montaruli

Plats: 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.

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-05-31