Skip to main content
MathOverflow
Jxt921's user avatar
Jxt921's user avatar
Jxt921's user avatar
Jxt921
  • Member for 9 years
  • Last seen more than 2 years ago
Profile Activity
Stats
1,115
reputation
23k
reached
1
answer
15
questions
Communities
View all
Badges
View all badges
1
gold badge
12
silver badges
20
bronze badges
Top tags
View all tags
1
Score
16
Posts
100
Posts %
1
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %
0
Score
8
Posts
50
Posts %
0
Score
5
Posts
31
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
question
55
How should a "working mathematician" think about sets? (ZFC, category theory, urelements)
Nov 28, 2016
question
19
Large categories vs. $\mathrm{U}$-categories: why is the loss of category-theoretic information inessential?
Aug 25, 2017
question
14
What is the use of Grothendieck universes in category theory?
Nov 23, 2016
question
12
Translating Grothendieck axiom UB into ZFC
Nov 18, 2018
question
8
$\mathscr{U}$-categories and $\mathsf{Hom}$-functors
Nov 23, 2018
question
7
Enhancing Grothendieck's universes and Grothendieck's axiom: Feferman's universe
Oct 17, 2018
question
7
Mac Lane's proof of coherence for symmetric monoidal categories
Jan 12, 2020
question
6
How do we formally construct the successor universe $\mathscr{U}^+$ of a universe $\mathscr{U}$ in $\mathsf{ZFC}$?
Nov 18, 2018
question
6
Adjusting the definition of a well-powered category to category theory with universes: size issues
Oct 20, 2019
question
5
What is the definition of a $\mathcal{U}$-category?
Nov 1, 2018
Top network posts
View all network posts
14
$\ker \phi = (x_1-a_1, ..., x_n-a_n)$ for a ring homomorphism $\phi: R[x_1, ..., x_n] \to R$
12
Every subgroup of a quotient group is a quotient group itself
11
Understanding divison by monic polynomial in $R[x]$ where $R$ is an arbitrary ring
10
$gh = hg, \ \gcd(|g|, |h|) = 1\Rightarrow|gh| = |g||h|\ \ (|a|$ = order of element $a)$
10
How do top graduate programs in mathematics verify the validity of an enrollee's undergraduate degree from abroad? E.g. IUM in Russia