固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。
适用说明 全项目唯一贯穿诸文档的定理级锚点。只有固有类/非良基集合↔νF 为定理级；与分形、旋机、阴阳互生的等同为结构推论或阐释级。νF 是道的诸像之一，不是道本身。
出处 第十四章 循环识别与固有类；第十五章 旋机吸引子系统的形式化
外部锚点 Aczel, Non-Well-Founded Sets (1988); Rutten, Universal coalgebra (2000)
SGC-0010
上下游
没有已发布的前提或下游命题。
相关更正
引用
技能模板
〔定理级〕固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。——李旭彤《生之科学》（第十四章 循环识别与固有类），问道研究所，2026。
中文
李旭彤：〈SGC-0010〉固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园〔定理级〕，载《生之科学》第十四章 循环识别与固有类，问道研究所，2026。https://reresearch.org/claim/sgc-0010/
English
Li, Xutong (2026). SGC-0010 [Theorem]: Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF). In: Science of Generation, 第十四章 循环识别与固有类. Reasoning Research Institute. https://reresearch.org/en/claim/sgc-0010/
BibTeX
@misc{SGC-0010,
author = {Li, Xutong},
title = {{SGC-0010}: Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).},
howpublished = {Science of Generation Portal},
organization = {Reasoning Research Institute},
year = {2026},
url = {https://reresearch.org/en/claim/sgc-0010/},
note = {Epistemic tier: Theorem. Source: 第十四章 循环识别与固有类}
}