User Jxt921 - MathOverflow

56 votes

10 answers

13k views

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

asked Nov 28, 2016 at 17:07

19 votes

3 answers

2k views

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

asked Aug 25, 2017 at 9:22

16 votes

1 answer

5k views

What is the use of Grothendieck universes in category theory?

asked Nov 23, 2016 at 16:06

12 votes

1 answer

725 views

Translating Grothendieck axiom UB into ZFC

asked Nov 18, 2018 at 11:30

8 votes

3 answers

466 views

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

asked Nov 23, 2018 at 18:27

7 votes

1 answer

805 views

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

asked Oct 17, 2018 at 13:27

7 votes

2 answers

869 views

Mac Lane's proof of coherence for symmetric monoidal categories

asked Jan 12, 2020 at 17:27

6 votes

3 answers

997 views

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

asked Oct 20, 2019 at 11:05

6 votes

1 answer

579 views

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

asked Nov 1, 2018 at 18:23

6 votes

3 answers

548 views

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

asked Nov 18, 2018 at 18:33

5 votes

2 answers

552 views

Limits, colimits and universes

asked Nov 17, 2018 at 9:02

5 votes

1 answer

445 views

Bousfield localization of triangulated categories:equivalent conditions

asked Jan 11, 2021 at 11:57

5 votes

0 answers

450 views

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

asked Feb 3, 2022 at 20:42

5 votes

0 answers

289 views

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

asked Feb 10, 2022 at 14:24

4 votes

0 answers

262 views

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

asked Nov 26, 2018 at 14:54

Stack Exchange Network

15 Questions

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

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

What is the use of Grothendieck universes in category theory?

Translating Grothendieck axiom UB into ZFC

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

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

Mac Lane's proof of coherence for symmetric monoidal categories

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

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

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

Limits, colimits and universes

Bousfield localization of triangulated categories:equivalent conditions

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

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

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