Towards constructivising the Freyd-Mitchell embedding theorem
From MaRDI portal
Abstract: The aim of the paper is to first point out that the classical proof of the Freyd-Mitchell Embedding Theorem does not work in CZF; then, to propose an alternative embedding of a small abelian category into the category of sheaves of modules over a ringed space, which works constructively. It is necessary to mention that this work has been initially inspired by Erik Palmgren, who unexpectedly passed away in November 2019: I'm very grateful to him for having shared with me his intuitions, and for having supervised the realization of the first half of the paper.
This page was built for publication: Towards constructivising the Freyd-Mitchell embedding theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6394510)
