Skip to main content
MathOverflow
Joe Lamond's user avatar
Joe Lamond's user avatar
Joe Lamond's user avatar
Joe Lamond
  • Member for 6 years, 8 months
  • Last seen this week
  • UK
Profile Activity

Stats

1,674
reputation
31k
reached
7
answers
9
questions
#14 this week
Communities
View all

About

I recently graduated with a master's degree in mathematics from the University of Bath. My main interests are in algebraic geometry, category theory, and mathematical logic.

profile for Joe on Stack Exchange, a network of free, community-driven Q&A sites

Badges

View all badges
1
gold badge
12
silver badges
20
bronze badges

Top tags

View all tags
21
Score
3
Posts
19
Posts %
18
Score
4
Posts
25
Posts %
6
Score
4
Posts
25
Posts %
6
Score
2
Posts
12
Posts %
6
Score
1
Posts
6
Posts %
5
Score
2
Posts
12
Posts %

Top posts

View all questions and answers
31
Are there substantive differences between the different approaches to "size issues" in category theory?
Jun 24, 2024
24
Is Zorn's Lemma equivalent to the Axiom of Choice for individual sets?
Oct 2, 2025
21
Why do infinite-dimensional vector spaces usually have additional structure?
Aug 16, 2023
18
Could we allow the zero ring to be local?
Feb 18, 2025
17
In what sense does the sentence $\operatorname{con}(\mathsf{PA})$ "say" that $\mathsf{PA}$ is consistent?
Nov 23, 2023
12
Can passing to a larger Grothendieck universe ever lead to category-theoretic complications?
2 days ago
8
Implicit uses of Countable or Dependent Choice
Nov 10, 2024
7
Alternative proofs that two bases of a vector space have the same size
Sep 1, 2025
6
Negating fundamental axioms
Jul 8, 2024
5
Are there any other examples where "weak" and "strong" are confused in mathematics?
Mar 17, 2023

Top network posts

View all network posts
50
What does the word "let" mean in mathematics?
44
Why does an exponential function eventually get bigger than a quadratic
38
Unifying the connections between the trigonometric and hyperbolic functions
37
How do we define addition?
36
Does there exist a function which converts exponentiation into addition?