user avatar
user avatar
user avatar
goblin GONE
  • Member for 9 years, 9 months
  • Last seen more than 1 year ago
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?

21 votes
3 answers
2k views

Why would the category of sets be intuitionistic?

18 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?

13 votes
4 answers
818 views

The groupoid of algebraic expressions and proofs

12 votes
7 answers
1k views

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

11 votes
4 answers
731 views

What are "nearly initial" objects really called?

10 votes
1 answer
588 views

Topology from the viewpoint of the filter endofunctor

10 votes
1 answer
409 views

Does every Lawvere theory arise in this way?

9 votes
2 answers
1k views

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

9 votes
2 answers
452 views

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

8 votes
1 answer
248 views

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

8 votes
0 answers
804 views

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

8 votes
0 answers
161 views

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

8 votes
3 answers
1k views

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

7 votes
2 answers
760 views

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

7 votes
1 answer
365 views

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

7 votes
2 answers
902 views

What's the point of "created limits"?

7 votes
1 answer
471 views

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

6 votes
2 answers
400 views

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

6 votes
1 answer
348 views

Can we have more malleable proper classes without sacrificing conservativity?

5 votes
1 answer
408 views

In search of a set theory with specific properties

5 votes
0 answers
123 views

Question about the poset of inner models

5 votes
1 answer
377 views

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

5 votes
0 answers
131 views

What terminology surrounds "involutive" double categories?

5 votes
1 answer
380 views

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

5 votes
1 answer
219 views

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

5 votes
0 answers
206 views

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

4 votes
0 answers
124 views

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

4 votes
2 answers
473 views

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

4 votes
2 answers
368 views

Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?