Anna Montaruli: A constructive perplexity on the Freyd-Mitchell Embedding Theorem
Time: Fri 2020-05-08 13.15 - 14.15
Location: Zoom, Meeting ID: 685 5128 7001
Participating: Anna Montaruli
The Freyd-Mitchell Embedding Theorem asserts that every small abelian category admits a full exact embedding into a category of modules over a certain ring. At this point, one can ask: which logical setting allows the proof of the theorem? Is the theorem still true in CZF (Constructive Set Theory)?
In this talk, after a brief introduction to CZF and Category Theory, we show that part of the proof of the Theorem seems to not work unless we suppose the axiom of Power Set, which is not included in CZF.