Question

Is there a category theoretic definition of the naturals as an analogue to the set theoretic definition?

score 99 · Answer 1 · 2018-04-27 21:56:32

99

Views

Is there a category theoretic definition of the naturals as an analogue to the set theoretic definition?

Published on 27 Apr 2018 - 21:56

score 80 · Answer 2 · 2026-03-24 23:44:14

80

Views

Reference request for a formalized and organized take on the foundations (logic and set theory)

Published on 24 Mar 2026 - 23:44

score 807 · Answer 3 · 2026-03-22 09:39:42

807

Views

Constructible universe and the standard model

Published on 22 Mar 2026 - 9:39

score 14.4k · Answer 4 · 2026-03-24 23:43:05

14.4k

Views

Is mathematics just a bunch of nested empty sets?

Published on 24 Mar 2026 - 23:43

score 140 · Answer 5 · 2018-05-15 03:59:10

140

Views

Given that the set of all proofs is not bounded, how come we can do math at all?

Published on 15 May 2018 - 3:59

score 131 · Answer 6 · 2026-03-22 10:35:09

131

Views

Number Theory Question on Archimedes Condition

Published on 22 Mar 2026 - 10:35

score 4.1k · Answer 7 · 2026-03-22 15:31:49

4.1k

Views

What makes radians superior to turns/revolutions?

Published on 22 Mar 2026 - 15:31

score 798 · Answer 8 · 2026-03-22 04:58:38

798

Views

Foundations of Category Theory; The Axioms

Published on 22 Mar 2026 - 4:58

score 62 · Answer 9 · 2026-03-22 06:57:33

62

Views

What is the computational content of induction?

Published on 22 Mar 2026 - 6:57

score 1.1k · Answer 10 · 2026-03-25 01:18:31

1.1k

Views

Minimal requirements for Platonist views of the standard model of set theory leading to inconsistency?

Published on 25 Mar 2026 - 1:18

score 263 · Answer 11 · 2018-05-31 10:07:07

263

Views

Do recursively enumerable subsets of $\mathbb{N}$ have a least element

Published on 31 May 2018 - 10:07

score 131 · Answer 12 · 2026-03-22 02:49:11

131

Views

Is "+" a two-place predicate?

Published on 22 Mar 2026 - 2:49

score 69 · Answer 13 · 2026-03-22 17:51:45

69

Views

To what part of propositional grammar does "+" belong?

Published on 22 Mar 2026 - 17:51

score 113 · Answer 14 · 2026-03-23 05:23:38

113

Views

Choosing axiom schemes for a logical theory

Published on 23 Mar 2026 - 5:23

score 750 · Answer 15 · 2026-03-25 06:04:08

750

Views

Are there any new axioms being developed?

Published on 25 Mar 2026 - 6:04

List Question

Is there a category theoretic definition of the naturals as an analogue to the set theoretic definition?

Reference request for a formalized and organized take on the foundations (logic and set theory)

Constructible universe and the standard model

Is mathematics just a bunch of nested empty sets?

Given that the set of all proofs is not bounded, how come we can do math at all?

Number Theory Question on Archimedes Condition

What makes radians superior to turns/revolutions?

Foundations of Category Theory; The Axioms

What is the computational content of induction?

Minimal requirements for Platonist views of the standard model of set theory leading to inconsistency?

Do recursively enumerable subsets of $\mathbb{N}$ have a least element

Is "+" a two-place predicate?

To what part of propositional grammar does "+" belong?

Choosing axiom schemes for a logical theory

Are there any new axioms being developed?

Trending Questions

Popular # Hahtags

Popular Questions