来自构造序数的初始代数
Initial algebras from constructive ordinals
首次发表
浏览论文内容
中文总结 AI 辅助
研究如何用标准构造性序数概念支持超限递归构造性理论，通过给出初始代数定理构造性证明及相关论证版本来实现。
中文摘要 AI 辅助
我们展示了标准的构造性序数概念如何支持有用的超限递归构造性理论。通过给出各种初始代数定理（如阿达梅克定理）的构造性证明，以及用于构造余纤生成代数弱分解系统的奎伦小对象论证的一个版本来实现这一点。
英文摘要
We show how a standard constructive notion of ordinal supports a useful constructive theory of transfinite recursion. We do this by giving constructive proofs of various initial algebra theorems, like Adamek's theorem, and a version of Quillen's small object argument for constructing cofibrantly generated algebraic weak factorisation systems.
