论文标题
设定理论的结构
A construction of set theory
论文作者
论文摘要
我们从比集理论更一般的环境开始。基本成分本质上是类别理论的对象和函子原始素，逻辑很弱，既不需要排除中间的定律也不需要定量。在此内部，我们发现“放松”的套装理论，它比传统的公理理论更容易使用。 Zermillo-Fraenkel-Choice Axioms也有最大的实现，从某种意义上说，任何其他实现都将其独特地嵌入其中。
We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the Zermillo-Fraenkel-Choice axioms that is maximal in the sense that any other implementation uniquely embeds in it.
