user avatar
user avatar
user avatar
Zhen Lin
  • Member for 11 years, 7 months
  • Last seen this week
69 votes
Accepted

Why did my friend lose all his money?

53 votes

Why is the category of fields seemingly so poorly behaved?

50 votes
Accepted

Understanding Ramification Points

47 votes

Zero probability and impossibility

47 votes

In set theory, how are real numbers represented as sets?

45 votes

What are differences between affine space and vector space?

43 votes
Accepted

Do De Morgan's laws hold in propositional intuitionistic logic?

42 votes
Accepted

Is Zorn's lemma required to prove the existence of a maximal atlas on a manifold?

42 votes

What is the 'implicit function theorem'?

41 votes

What are the Axiom of Choice and Axiom of Determinacy?

40 votes

When to learn category theory?

40 votes
Accepted

Quotient objects, their universal property and the isomorphism theorems

37 votes
Accepted

Why must we distinguish between rational and irrational numbers?

36 votes
Accepted

Why use ZF over NFU?

34 votes
Accepted

Are some real numbers "uncomputable"?

34 votes
Accepted

Surjectivity implies injectivity and conversely

29 votes
Accepted

Tautological 1-form on the cotangent bundle

29 votes
Accepted

Does taking the direct limit of chain complexes commute with taking homology?

28 votes

Best way to learn Algebraic Geometry?

28 votes
Accepted

Question about perfect pairings

26 votes
Accepted

Good references for stacks

26 votes
Accepted

Does "cheap nonstandard analysis" take place in a topos?

23 votes
Accepted

Questions regarding Riemann's rearrangement theorem

22 votes
Accepted

Vector bundle transitions and Čech cohomology

21 votes
Accepted

Gluing sheaves - can we realize $\mathcal{F}(W)$ as some kind of limit?

20 votes
Accepted

What is a Lawvere-Tierney topology?

20 votes

Why is Peano arithmetic undecidable?

19 votes
Accepted

Confusion about Homotopy Type Theory terminology

18 votes

How to prove the mathematical induction is true?

18 votes
Accepted

Is an equivalence an adjunction?

1
2 3 4 5
38