Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).
proper class (project sense) （固有类）
A circular, self-embedding structure presupposing itself, excluded by the Axiom of Foundation; its mathematical home is νF
- Aliases
- 顽固类