Skip to main content
MathOverflow
Jxt921's user avatar
Jxt921's user avatar
Jxt921's user avatar
Jxt921
  • Member for 10 years, 5 months
  • Last seen more than 4 years ago
Profile Activity

Stats

1,165
reputation
26k
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
56
How should a "working mathematician" think about sets? (ZFC, category theory, urelements)
Nov 28, 2016
19
Large categories vs. $\mathrm{U}$-categories: why is the loss of category-theoretic information inessential?
Aug 25, 2017
16
What is the use of Grothendieck universes in category theory?
Nov 23, 2016
12
Translating Grothendieck axiom UB into ZFC
Nov 18, 2018
8
$\mathscr{U}$-categories and $\mathsf{Hom}$-functors
Nov 23, 2018
7
Enhancing Grothendieck's universes and Grothendieck's axiom: Feferman's universe
Oct 17, 2018
7
Mac Lane's proof of coherence for symmetric monoidal categories
Jan 12, 2020
6
What is the definition of a $\mathcal{U}$-category?
Nov 1, 2018
6
How do we formally construct the successor universe $\mathscr{U}^+$ of a universe $\mathscr{U}$ in $\mathsf{ZFC}$?
Nov 18, 2018
6
Adjusting the definition of a well-powered category to category theory with universes: size issues
Oct 20, 2019

Top network posts

View all network posts
17
$\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