〔定理级〕固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。——李旭彤《生之科学》（第十四章　循环识别与固有类），问道研究所，2026。

李旭彤：〈SGC-0010〉固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园〔定理级〕，载《生之科学》第十四章　循环识别与固有类，问道研究所，2026。https://reresearch.org/claim/sgc-0010/

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/

@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: 第十四章　循环识别与固有类}
}