This account is temporarily suspended. The suspension period ends on Feb 7 '22 at 0:36.
Ph.D. Student at Edinburgh working on higher category theory and arithmetic topology.
E-mail (replace [*] with @): harry.gindi [*] ed.ac.uk
In-progress (and abandoned) papers at http://github.com/fpqc
Member for 11 years, 9 months
1,002 profile views
Last seen Jun 20 at 11:04
Top network posts
- 109 Slick proof?: A vector space has the same dimension as its dual if and only if it is finite dimensional
- 101 Why should one still teach Riemann integration?
- 58 Reductio ad absurdum or the contrapositive?
- 49 "Algebraic" topologies like the Zariski topology?
- 46 What interesting/nontrivial results in Algebraic geometry require the existence of universes?
- 46 Mathematical explanation of the failure to quantize gravity naively
- 44 Sheaves and bundles in differential geometry
- View more network posts →