goblin GONE
  • Member for 9 years, 4 months
  • Last seen more than 1 year ago
9 answers
48 votes
5k views
20 bookmarks
What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
3 answers
19 votes
2k views
11 bookmarks
Why would the category of sets be intuitionistic?
1 answers
18 votes
1k views
5 bookmarks
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?
4 answers
13 votes
814 views
3 bookmarks
The groupoid of algebraic expressions and proofs
7 answers
12 votes
1k views
4 bookmarks
Properties of rings that have an elegant description in terms of the associated category of modules
4 answers
11 votes
710 views
2 bookmarks
What are "nearly initial" objects really called?
1 answers
10 votes
562 views
6 bookmarks
Topology from the viewpoint of the filter endofunctor
1 answers
10 votes
405 views
1 bookmarks
Does every Lawvere theory arise in this way?
2 answers
9 votes
445 views
1 bookmarks
Is there a notion of "space" such that vector bundles can be understood in this way?
2 answers
9 votes
1k views
2 bookmarks
Is there a "large powerset axiom" so extreme that it disproves the existence of strongly inaccessible cardinals?
0 answers
8 votes
159 views
1 bookmarks
Does the "coproduct-elimination transform" have an accepted name, and where can I learn more about it?
0 answers
8 votes
730 views
4 bookmarks
Would Ultimate L really "[reduce] all questions of set theory to axioms of strong infinity"?
1 answers
8 votes
244 views
1 bookmarks
Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?
3 answers
8 votes
1k views
Why isn't there more interest in "large powerset axioms"?
2 answers
7 votes
866 views
2 bookmarks
What's the point of "created limits"?
1 answers
7 votes
351 views
2 bookmarks
Does the forgetful functor $\mathbf{Comp} \rightarrow \mathbf{Top}$ have a left-adjoint?
1 answers
7 votes
454 views
3 bookmarks
How (if at all) does category theory deal with situations where the usual notion of isomorphism isn't right?
2 answers
7 votes
745 views
3 bookmarks
Which linearly ordered sets have the property that their completion is equipotent with their powerset?
2 answers
6 votes
393 views
For which cardinal numbers $\kappa$ is it consistent with ZFC that $\kappa^{\mathrm{cf}(\kappa)} < \kappa^\kappa$?
1 answers
6 votes
342 views
3 bookmarks
Can we have more malleable proper classes without sacrificing conservativity?
0 answers
5 votes
203 views
2 bookmarks
Are any formal systems based upon the idea of "iterated characterization pushing" currently in existence? If not, is anyone working on them?
1 answers
5 votes
216 views
1 bookmarks
Partial $\mathsf{T}$-algebras, where $\mathsf{T}$ is a Lawvere theory
1 answers
5 votes
377 views
2 bookmarks
What do we call this quantifier ("binder")?
0 answers
5 votes
127 views
2 bookmarks
What terminology surrounds "involutive" double categories?
1 answers
5 votes
364 views
Is there a large-cardinal completeness theorem for $L$?
0 answers
5 votes
122 views
Question about the poset of inner models
1 answers
5 votes
407 views
In search of a set theory with specific properties
0 answers
4 votes
121 views
2 bookmarks
Is there any accepted single-word that means "partial function"?
2 answers
4 votes
366 views
2 bookmarks
Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?
2 answers
4 votes
470 views
Is it consistent with ZFC that $\mathrm{dv}(\kappa) = \kappa$ for all infinite cardinal numbers $\kappa$?