MathOverflow

Nice Question

 Nice Question
Question score of 10 or more. This badge can be awarded multiple times.

earned this badge 80 times.
Are condensed sets (locally) cartesian closed?
Awarded Apr 5, 2023 at 2:26
Properties of pyknotic sets
Awarded Mar 1, 2023 at 9:27
Condensed vs pyknotic vs consequential
Awarded Mar 1, 2023 at 9:16
Intrinsic topology on the Zariski spectrum
Awarded Feb 17, 2023 at 20:41
Rectifying diagrams of $\infty$-categories
Awarded Jan 16, 2023 at 2:25
Closed embeddings of monoidal categories in *-autonomous ones
Awarded Jun 16, 2022 at 22:01
Genetic construction of roots of surreal polynomials
Awarded Apr 26, 2022 at 2:25
Uniqueness of dualizing objects
Awarded Jan 15, 2022 at 3:55
Dioperads vs polycategories
Awarded Nov 26, 2021 at 22:56
Stack completions in realizability toposes
Awarded May 25, 2021 at 17:50
Homotopy theory of suplattices
Awarded Jan 22, 2021 at 18:52
What is a (partial) left adjoint of the Yoneda embedding called?
Awarded Dec 7, 2020 at 11:55
Coequalizers in stable (infinity,1)-categories
Awarded Jun 15, 2020 at 7:42
Lex $\infty$-colimits
Awarded Apr 3, 2020 at 23:25
Stable homotopy theory of orbifolds
Awarded Nov 12, 2019 at 3:15
Boolean non-hypercomplete $(\infty,1)$-toposes
Awarded Nov 10, 2019 at 12:10
What would cohomological localization be good for?
Awarded Sep 2, 2019 at 7:40
Sufficient sets of colimits in small categories
Awarded Jun 24, 2019 at 9:50
Accessible functors not preserving lots of presentable objects
Awarded Mar 13, 2019 at 11:30
Raising the index of accessibility
Awarded Mar 2, 2019 at 6:20
Is every accessible category well-powered?
Awarded Feb 21, 2019 at 21:20
A model category for descent?
Awarded Feb 8, 2019 at 3:30
Enriched cartesian closed categories
Awarded Feb 6, 2019 at 9:50
A geometric construction of the complex projective plane?
Awarded Feb 1, 2019 at 15:10
Which maps of simplicial sets geometrically realize to fibrations?
Awarded Jan 14, 2019 at 18:20
Has incorrect notation ever led to a mistaken proof?
Awarded Aug 9, 2018 at 18:00
Mathematics without the principle of unique choice
Awarded Jun 5, 2018 at 22:03
Biased vs unbiased lax monoidal categories
Awarded May 30, 2018 at 18:44
Is set-induction relatively consistent?
Awarded May 12, 2018 at 14:04
Multiplicativity of Euler characteristic for non-orientable fibrations
Awarded Mar 29, 2018 at 16:07
A locally presentable locally cartesian closed category that is not a quasitopos
Awarded Mar 1, 2018 at 20:10
Integrating a family of vector spaces
Awarded Jan 12, 2018 at 9:23
Cauchy real numbers with and without modulus
Awarded Jan 4, 2018 at 17:06
The Chu-construction and the Int-construction
Awarded Oct 25, 2017 at 1:01
Is Girard's LU just an embedding of classical and intuitionistic logic into linear logic?
Awarded Sep 12, 2017 at 8:54
A cosmos where coproduct injections are not monic
Awarded Dec 23, 2016 at 19:14
Approximate intermediate value theorem in pure constructive mathematics
Awarded Nov 16, 2016 at 18:14
A well-founded relation on lists
Awarded Jan 23, 2016 at 13:11
Synthetic projective lines
Awarded Nov 18, 2015 at 8:21
Brouwer's theorem for the Cauchy reals
Awarded Aug 28, 2015 at 12:06
The formal p-adic numbers
Awarded Aug 13, 2015 at 3:11
What is $\infty^6$?
Awarded Jun 6, 2015 at 11:11
Non-unique splittings of homotopy idempotents
Awarded Apr 11, 2015 at 8:01
Abstract connectedness
Awarded Mar 7, 2015 at 14:35
Set-theoretic forcing over sites?
Awarded Jan 22, 2015 at 9:13
The real numbers object in Sh(Top)
Awarded Nov 1, 2014 at 13:11
Intuitionistic Lowenheim-Skolem?
Awarded Oct 16, 2014 at 17:01
The definition of Reedy category
Awarded Jul 25, 2014 at 15:27
Why localize spaces with respect to homology?
Awarded Jul 8, 2014 at 15:55
Should a theorem be numbered by where it is first stated or where it is proven?
Awarded May 20, 2014 at 22:58
Does the classification diagram localize a category with weak equivalences?
Awarded Apr 7, 2014 at 16:44
Finite limits in the category of smooth manifolds?
Awarded Apr 6, 2014 at 9:24
Degeneracies for semi-simplicial Kan complexes
Awarded Apr 2, 2014 at 9:30
Internal logic of the topos of simplicial sets
Awarded Mar 11, 2014 at 8:26
Pullback-stability of internally projective objects
Awarded Aug 24, 2013 at 0:23
Logical endofunctors of Set?
Awarded May 28, 2013 at 11:50
A rigid type of structure that can be put on every set?
Awarded Feb 8, 2013 at 17:50
Does sheafification preserve sheaves for a different topology?
Awarded Dec 23, 2012 at 22:35
Why are non-singleton covering families often ignored?
Awarded Dec 12, 2012 at 18:50
When does collection imply replacement?
Awarded Nov 27, 2012 at 3:50
1
2

Others with this badge