Apparently, this user prefers to keep an air of mystery about them.
Member for 8 years, 8 months
15 profile views
Last seen Nov 23 at 0:16
Top network posts
- 87 What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?
- 62 Why did Voevodsky consider categories "posets in the next dimension", and groupoids the correct generalisation of sets?
- 46 Constructive algebraic geometry
- 41 The two ways Feynman diagrams appear in mathematics
- 32 Current status of Grothendieck's homotopy hypothesis and Whitehead's algebraic homotopy programme
- 32 What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?
- 28 Proof assistant for working in weaker foundations?
- View more network posts →