User goblin GONE

49 votes

9 answers

6k views

What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?

asked Jul 11, 2014 at 8:38

22 votes

3 answers

2k views

Why would the category of sets be intuitionistic?

asked Dec 5, 2016 at 16:54

19 votes

1 answer

2k views

Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?

asked Feb 14, 2016 at 11:15

15 votes

2 answers

518 views

Does every Lawvere theory arise in this way?

asked Jul 28, 2015 at 2:28

14 votes

4 answers

910 views

What are "nearly initial" objects really called?

asked Dec 4, 2016 at 14:14

13 votes

4 answers

843 views

The groupoid of algebraic expressions and proofs

asked Feb 13, 2015 at 15:04

12 votes

7 answers

1k views

Properties of rings that have an elegant description in terms of the associated category of modules

asked Mar 25, 2014 at 9:10

10 votes

2 answers

1k views

Is there a "large powerset axiom" so extreme that it disproves the existence of strongly inaccessible cardinals?

asked May 22, 2014 at 13:50

10 votes

1 answer

644 views

Topology from the viewpoint of the filter endofunctor

asked Mar 26, 2017 at 14:06

10 votes

2 answers

474 views

Is there a notion of "space" such that vector bundles can be understood in this way?

asked Apr 30, 2017 at 7:15

9 votes

3 answers

1k views

Why isn't there more interest in "large powerset axioms"?

asked Apr 28, 2014 at 20:51

8 votes

1 answer

264 views

Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?

asked Nov 15, 2018 at 9:18

8 votes

0 answers

1k views

Would Ultimate L really "[reduce] all questions of set theory to axioms of strong infinity"?

asked Apr 30, 2019 at 4:57

8 votes

0 answers

171 views

Does the "coproduct-elimination transform" have an accepted name, and where can I learn more about it?

asked Jul 25, 2020 at 1:58

7 votes

1 answer

405 views

Does the forgetful functor $\mathbf{Comp} \rightarrow \mathbf{Top}$ have a left-adjoint?

asked Jul 10, 2017 at 17:59

7 votes

2 answers

966 views

What's the point of "created limits"?

asked Sep 20, 2018 at 4:26

7 votes

1 answer

504 views

How (if at all) does category theory deal with situations where the usual notion of isomorphism isn't right?

asked Sep 29, 2015 at 9:01

7 votes

1 answer

429 views

Can we have more malleable proper classes without sacrificing conservativity?

asked Apr 26, 2014 at 19:56

7 votes

2 answers

841 views

Which linearly ordered sets have the property that their completion is equipotent with their powerset?

asked Mar 31, 2014 at 7:04

6 votes

2 answers

427 views

For which cardinal numbers $\kappa$ is it consistent with ZFC that $\kappa^{\mathrm{cf}(\kappa)} < \kappa^\kappa$?

asked May 2, 2014 at 5:01

5 votes

1 answer

417 views

In search of a set theory with specific properties

asked Sep 1, 2012 at 13:30

5 votes

0 answers

132 views

Question about the poset of inner models

asked Jun 3, 2014 at 11:35

5 votes

1 answer

419 views

Is there a large-cardinal completeness theorem for $L$?

asked Jun 3, 2014 at 15:43

5 votes

0 answers

138 views

What terminology surrounds "involutive" double categories?

asked Feb 27, 2016 at 13:30

5 votes

1 answer

394 views

What do we call this quantifier ("binder")?

asked Jun 22, 2016 at 17:55

5 votes

1 answer

230 views

Partial $\mathsf{T}$-algebras, where $\mathsf{T}$ is a Lawvere theory

asked Aug 25, 2016 at 17:30

5 votes

0 answers

216 views

Are any formal systems based upon the idea of "iterated characterization pushing" currently in existence? If not, is anyone working on them?

asked Oct 27, 2019 at 5:09

4 votes

0 answers

138 views

Is well-pointedness the reason that the internal/external distinction seems not to apply to $\mathbf{Set}$?

asked Sep 20, 2019 at 3:42

4 votes

0 answers

133 views

Is there any accepted single-word that means "partial function"?

asked Mar 8, 2017 at 15:33

4 votes

2 answers

519 views

Is it consistent with ZFC that $\mathrm{dv}(\kappa) = \kappa$ for all infinite cardinal numbers $\kappa$?

asked May 13, 2014 at 6:41

Stack Exchange Network

66 Questions

What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?

Why would the category of sets be intuitionistic?

Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?

Does every Lawvere theory arise in this way?

What are "nearly initial" objects really called?

The groupoid of algebraic expressions and proofs

Properties of rings that have an elegant description in terms of the associated category of modules

Is there a "large powerset axiom" so extreme that it disproves the existence of strongly inaccessible cardinals?

Topology from the viewpoint of the filter endofunctor

Is there a notion of "space" such that vector bundles can be understood in this way?

Why isn't there more interest in "large powerset axioms"?

Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?

Would Ultimate L really "[reduce] all questions of set theory to axioms of strong infinity"?

Does the "coproduct-elimination transform" have an accepted name, and where can I learn more about it?

Does the forgetful functor $\mathbf{Comp} \rightarrow \mathbf{Top}$ have a left-adjoint?

What's the point of "created limits"?

How (if at all) does category theory deal with situations where the usual notion of isomorphism isn't right?

Can we have more malleable proper classes without sacrificing conservativity?

Which linearly ordered sets have the property that their completion is equipotent with their powerset?

For which cardinal numbers $\kappa$ is it consistent with ZFC that $\kappa^{\mathrm{cf}(\kappa)} < \kappa^\kappa$?

In search of a set theory with specific properties

Question about the poset of inner models

Is there a large-cardinal completeness theorem for $L$?

What terminology surrounds "involutive" double categories?

What do we call this quantifier ("binder")?

Partial $\mathsf{T}$-algebras, where $\mathsf{T}$ is a Lawvere theory

Are any formal systems based upon the idea of "iterated characterization pushing" currently in existence? If not, is anyone working on them?

Is well-pointedness the reason that the internal/external distinction seems not to apply to $\mathbf{Set}$?

Is there any accepted single-word that means "partial function"?

Is it consistent with ZFC that $\mathrm{dv}(\kappa) = \kappa$ for all infinite cardinal numbers $\kappa$?