基于带指标最终余代数定理的非良基集合模型
逻辑
2007-05-23 v2 范畴论
摘要
本文利用带指标范畴的形式体系恢复一个标准最终余代数定理的证明，从而证明在具有有限极限与余极限的范畴上，对一类特殊函子存在最终余代数。作为该结果的一个实例，我们在带有小映射类的 Heyting 预拓扑中构造了幂类函子的最终余代数。随后证明，依据所选取的小映射类公理体系，这给出了多种非良基集合论的模型。
引用
@article{arxiv.math/0508531,
title = {Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem},
author = {Benno van den Berg and Federico De Marchi},
journal= {arXiv preprint arXiv:math/0508531},
year = {2007}
}