Tuesday, September 29, 2026

terminal coalgebra (终余代数 νF)

F(νF)≅νF; the mathematical home of proper classes; one of the images of the Dao

Related claims

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0010 Theorem External theorem

Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).