Top network posts
- 40 In what respect are univalent foundations "better" than set theory?
- 20 In constructive mathematics, why does the category of abelian groups fail to be abelian?
- 15 Constructive proof of existence of free algebras for infinitary equational theories
- 13 Locales in constructive mathematics
- 13 Constructive proofs of existence in analysis using locales
- 12 Algebraic closure of a field in constructive mathematics
- 10 Cartesian product of small objects
- View more network posts →