Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).
terminal coalgebra (终余代数 νF)
F(νF)≅νF; the mathematical home of proper classes; one of the images of the Dao
F(νF)≅νF; the mathematical home of proper classes; one of the images of the Dao
Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).