论文标题
旨在构建弗雷德 - 米切尔嵌入定理
Towards constructivising the Freyd-Mitchell embedding theorem
论文作者
论文摘要
本文的目的是首先指出，嵌入定理的Freyd-Mitchell的经典证据在CZF中不起作用。然后，要提出一个小小的亚伯利亚类别的替代嵌入到一个模块上的带环束系的束带，该模块可以建设性地工作。有必要提到这项工作最初是受埃里克·帕尔格伦（Erik Palmgren）的启发，埃里克·帕尔格伦（Erik Palmgren）在2019年11月意外去世：我非常感谢他与我分享了他的直觉，并监督了本文上半年的实现。
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.
