论文标题
Zermelo-Fraenkel套装理论中的一类较高的电感类型
A class of higher inductive types in Zermelo-Fraenkel set theory
论文作者
论文摘要
我们定义了一类较高的感应类型，这些类型可以在Zermelo-Fraenkel集合理论的假设中构建的集合类别，而无需选择的公理或不可数量的常规红衣主教。该课程包括任何Arity的无序树的示例。
We define a class of higher inductive types that can be constructed in the category of sets under the assumptions of Zermelo-Fraenkel set theory without the axiom of choice or the existence of uncountable regular cardinals. This class includes the example of unordered trees of any arity.
