Top network posts
- 46 In what respect are univalent foundations "better" than set theory?
- 21 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
- 14 Locales in constructive mathematics
- 13 Constructive proofs of existence in analysis using locales
- 12 Algebraic closure of a field in constructive mathematics
- 11 Combinatorial species and differential categories
- View more network posts →