Homotopy Type Theory Sandbox (Rev #14, changes)

Showing changes from revision #13 to #14: Added | Removed | Changed

Σbool\Sigma \simeq \mathrm{bool} the initial σ\sigma-frame, and the σ\sigma-topological space being countably compact: every countable open cover has a finite subcover?

Revision on April 14, 2025 at 21:45:24 by Anonymous?. See the history of this page for a list of all contributions to it.