MathOverflow

Nice Answer

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

earned this badge 64 times.
In what sense does the sentence $\operatorname{con}(\mathsf{PA})$ "say" that $\mathsf{PA}$ is consistent?
Awarded 11 hours ago
Situation with Artemov's paper?
Awarded yesterday
Why are the source-target rules of composition always strictly defined?
Awarded Oct 25, 2023 at 16:47
Is End() a functor from the category of directed graphs to the category of monoids?
Awarded Aug 26, 2023 at 18:55
What is known about the homotopy type of the classifier of subobjects of simplicial sets?
Awarded Jul 30, 2023 at 15:33
Why isn't pullback-stability defined for individual colimits but for colimits with the same shape?
Awarded Jul 18, 2023 at 3:36
Why are enriched (co)ends defined like that?
Awarded Jun 22, 2023 at 16:15
What is the status of (universal) algebra in type theory?
Awarded Jun 12, 2023 at 2:05
Behaviour of direct limit with matrices
Awarded Mar 29, 2023 at 16:15
Left/right exact functor "in nature" which is not a right/left adjoint
Awarded Feb 8, 2023 at 12:42
Universal property of the set of injections in the category of sets
Awarded Jan 10, 2023 at 15:07
Are arbitrary nonempty intersections of principal filters principal?
Awarded Sep 2, 2022 at 19:06
Manifolds as Cauchy completed objects
Awarded Aug 24, 2022 at 12:30
Why is $1$ not a dense sub-site in a group with the trivial Grothendieck topology?
Awarded Aug 19, 2022 at 18:32
What is the precise relationship between forcing on a poset and the topos of double-negation sheaves on this poset?
Awarded Aug 18, 2022 at 23:09
Geometric intuition for limits
Awarded Jul 23, 2022 at 22:42
The advantage of asymmetric objects
Awarded Jul 1, 2022 at 2:05
Missing axiom in the typed definition of a category?
Awarded May 8, 2022 at 22:15
Polyomino that can cover an arbitrarily large square but not the entire plane
Awarded Apr 13, 2022 at 9:33
compact-open topology
Awarded Feb 13, 2022 at 22:05
Do combinatory logic bases need a function of 3 variables?
Awarded Feb 5, 2022 at 12:27
Why in Martin-Löf type theory any natural number is assumed to be either $0$ or $S(a)$ for some $a\in\mathsf{N}$?
Awarded Jan 17, 2022 at 11:42
Why do people say Gödel's sentence is true when it is true in some models but false in others?
Awarded Oct 9, 2021 at 15:32
Categories disguised as other structures
Awarded Sep 21, 2021 at 20:17
Why are W-types called "W"?
Awarded Aug 25, 2021 at 6:10
Role of univalence in homotopy group calculations
Awarded Aug 13, 2021 at 16:00
Syntax/semantics conflation leads to infinitary logic
Awarded May 27, 2021 at 22:25
Alternatives to the law of the excluded middle
Awarded May 3, 2021 at 17:40
What is the endgoal of formalising mathematics?
Awarded Dec 13, 2020 at 22:07
Category theory and arithmetical identities
Awarded Nov 12, 2020 at 18:32
Formal definition of homotopy type theory
Awarded Oct 12, 2020 at 15:18
Why is a braided left autonomous category also right autonomous?
Awarded Aug 23, 2020 at 17:34
Proofs where higher dimension or cardinality actually enabled much simpler proof?
Awarded May 22, 2020 at 23:35
Conceptual reason that monadic functors create limits?
Awarded Feb 17, 2020 at 17:55
Is a vector space naturally isomorphic to its dual?
Awarded Nov 5, 2019 at 6:45
Papers on arXiv solving the same problem at the same time
Awarded Aug 27, 2019 at 18:30
Are there categories whose internal hom is somewhat 'exotic'?
Awarded Aug 18, 2019 at 18:15
Characterization of Kleisli adjunctions
Awarded Jul 12, 2019 at 18:45
Has the Isbell–Freyd criterion ever been used to check that a category is concretisable?
Awarded Mar 5, 2019 at 15:50
What is an explicit bijection in combinatorics?
Awarded Feb 22, 2019 at 22:20
A multicategory is a ... with one object?
Awarded Jan 18, 2019 at 10:30
What is the polynomial functor for the Bag monad
Awarded Jun 26, 2018 at 12:41
Category of concrete categories
Awarded Jun 26, 2018 at 12:41
How to characterize flasque sheaves in more functorial way?
Awarded Jun 26, 2018 at 12:41
Constructively, is the unit of the “free abelian group” monad on sets injective?
Awarded Jun 11, 2018 at 17:18
Constructively, is the unit of the “free abelian group” monad on sets injective?
Awarded Jun 11, 2018 at 15:21
Different definitions of category
Awarded Apr 17, 2018 at 8:51
What "metatheory" did early set theory/logic researchers use to prove semantic results?
Awarded Apr 16, 2018 at 3:39
Indecomposable objects in a category
Awarded Mar 25, 2018 at 19:43
Sets in constructive mathematics
Awarded Sep 21, 2017 at 11:47
The role of univalence in the homotopy interpretation of type theory
Awarded Sep 8, 2017 at 3:21
What is the most transparent, rigorous definition of the Univalence Axiom?
Awarded Feb 6, 2017 at 14:37
HoTT without Funext, Univalence
Awarded Sep 4, 2016 at 23:41
Locally a topos
Awarded Aug 31, 2016 at 5:14
Are dagger categories truly evil?
Awarded Oct 6, 2015 at 12:04
Most intriguing mathematical epigraphs
Awarded Oct 3, 2015 at 17:20
Why should we believe in the axiom of regularity?
Awarded Sep 30, 2015 at 7:27
Abstract thought vs calculation
Awarded Mar 9, 2011 at 13:20
Can we have A={A} ?
Awarded Feb 11, 2011 at 2:35
Interesting examples of vacuous / void entities
Awarded Jan 24, 2011 at 8:20
1
2

Others with this badge