User Alec Rhea

51 votes

7 answers

7k views

Does anyone still seriously doubt the consistency of $ZFC$?

asked Dec 24, 2022 at 20:21

39 votes

3 answers

4k views

Who discovered the surreals?

asked Feb 6, 2019 at 6:41

36 votes

5 answers

5k views

What do we gain with higher order logics?

asked May 31, 2019 at 2:24

24 votes

15 answers

4k views

When forgetting structure doesn't matter

asked Apr 30, 2022 at 0:17

23 votes

10 answers

9k views

Best Springer mathematics books [closed]

asked Oct 13, 2020 at 22:06

21 votes

1 answer

851 views

Natural examples of $(\infty,n)$-categories for large $n$

asked Jul 6, 2019 at 5:12

21 votes

9 answers

2k views

Naturally occurring examples of badly behaved categories

asked Apr 14, 2021 at 0:13

18 votes

2 answers

1k views

Category theory for a set/model theorist

asked Jun 10, 2018 at 19:34

17 votes

1 answer

1k views

Is there a stronger form of recursion?

asked Jul 21, 2017 at 20:33

17 votes

6 answers

3k views

Graph theory from a category theory perspective

asked Feb 24, 2021 at 6:30

16 votes

4 answers

1k views

Categories disguised as other structures

asked Sep 18, 2021 at 10:31

15 votes

2 answers

2k views

Set theory without the empty set

asked May 28, 2022 at 14:22

15 votes

0 answers

1k views

Toposophy vs Set theoretical multiverse philosophy

asked Dec 18, 2018 at 18:45

14 votes

2 answers

1k views

How many category structures are possible on two sets?

asked Apr 29, 2021 at 9:24

13 votes

1 answer

528 views

Set-theoretical reverse mathematics of the reals

asked Apr 13, 2023 at 7:08

12 votes

3 answers

2k views

Real reverse mathematics

asked Jul 25, 2023 at 1:38

12 votes

5 answers

2k views

Who was the first to propose a formal definition of infinity?

asked Aug 3, 2023 at 3:14

12 votes

6 answers

717 views

Conditions equivalent to finiteness

asked Jan 18, 2021 at 8:34

11 votes

3 answers

1k views

Higher $\infty$-categories

asked Feb 28, 2019 at 22:16

11 votes

1 answer

472 views

Weighted (co)limits as adjunctions

asked Mar 8, 2019 at 21:35

10 votes

2 answers

785 views

Category theory from MK class theory perspective?

asked Jul 3, 2017 at 11:52

10 votes

1 answer

530 views

Is AC equivalent over ZF to 'every fibration can be equipped with a cleavage'?

asked Jan 20, 2021 at 0:14

10 votes

0 answers

309 views

Adjoints to forcing

asked Jan 19, 2019 at 4:17

10 votes

2 answers

715 views

Studying higher categories from the bottom up

asked Dec 14, 2020 at 9:20

10 votes

1 answer

442 views

Is ${\bf Set}$ the terminal autological topos

asked Dec 16, 2020 at 8:30

10 votes

1 answer

508 views

Models of the Kock-Lawvere axioms

asked Oct 9, 2022 at 19:18

9 votes

1 answer

642 views

Elementary theory of the category of relations

asked Nov 26, 2022 at 3:32

9 votes

0 answers

188 views

Adjunctions that are easier to prove in one direction

asked Mar 6, 2023 at 0:13

9 votes

0 answers

237 views

Categorifying Hyperoperations

asked Oct 22, 2018 at 4:05

8 votes

1 answer

409 views

Internal $2$-categories

asked Sep 4, 2019 at 14:11

Stack Exchange Network

129 Questions

Does anyone still seriously doubt the consistency of $ZFC$?

Who discovered the surreals?

What do we gain with higher order logics?

When forgetting structure doesn't matter

Best Springer mathematics books [closed]

Natural examples of $(\infty,n)$-categories for large $n$

Naturally occurring examples of badly behaved categories

Category theory for a set/model theorist

Is there a stronger form of recursion?

Graph theory from a category theory perspective

Categories disguised as other structures

Set theory without the empty set

Toposophy vs Set theoretical multiverse philosophy

How many category structures are possible on two sets?

Set-theoretical reverse mathematics of the reals

Real reverse mathematics

Who was the first to propose a formal definition of infinity?

Conditions equivalent to finiteness

Higher $\infty$-categories

Weighted (co)limits as adjunctions

Category theory from MK class theory perspective?

Is AC equivalent over ZF to 'every fibration can be equipped with a cleavage'?

Adjoints to forcing

Studying higher categories from the bottom up

Is ${\bf Set}$ the terminal autological topos

Models of the Kock-Lawvere axioms

Elementary theory of the category of relations

Adjunctions that are easier to prove in one direction

Categorifying Hyperoperations

Internal $2$-categories