Skip to main content
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
56 votes
10 answers
13k views

How should a "working mathematician" think about sets? (ZFC, category theory, urelements)

19 votes
3 answers
2k views

Large categories vs. $\mathrm{U}$-categories: why is the loss of category-theoretic information inessential?

16 votes
1 answer
5k views

What is the use of Grothendieck universes in category theory?

12 votes
1 answer
725 views

Translating Grothendieck axiom UB into ZFC

8 votes
3 answers
466 views

$\mathscr{U}$-categories and $\mathsf{Hom}$-functors

7 votes
1 answer
805 views

Enhancing Grothendieck's universes and Grothendieck's axiom: Feferman's universe

7 votes
2 answers
869 views

Mac Lane's proof of coherence for symmetric monoidal categories

6 votes
3 answers
997 views

Adjusting the definition of a well-powered category to category theory with universes: size issues

6 votes
1 answer
579 views

What is the definition of a $\mathcal{U}$-category?

6 votes
3 answers
548 views

How do we formally construct the successor universe $\mathscr{U}^+$ of a universe $\mathscr{U}$ in $\mathsf{ZFC}$?

5 votes
2 answers
552 views

Limits, colimits and universes

5 votes
1 answer
445 views

Bousfield localization of triangulated categories:equivalent conditions

5 votes
0 answers
450 views

$V$-cat and $V$-graph: coequalizers in the category of enriched functors

5 votes
0 answers
289 views

Signs in dg Yoneda embedding: proof of existence of Dwyer-Kan model structure on $\mathit{dgcat}$

4 votes
0 answers
262 views

Formalization and set-theoretic issues in the definition a functor category