星期二, 29 9 月, 2026

终余代数 νF terminal coalgebra

F(νF)≅νF;固有类的数学家园;道的诸像之一

相关命题

级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0010 定理级 外部定理

固有类(在本项目意义上的循环自嵌套结构)以终余代数 νF ≅ F(νF) 为数学家园。