Comment by Gro-Tsen on Conditions on the unit and coünit of a geometric morphism
@KevinCarlson I will henceforth definitely be using the word “highfalutin” to describe myself. For what it's worth, I got the diaeresis convention from Eisenhart's book on Riemannian Geometry, in which...
View ArticleComment by Gro-Tsen on Lie algebras with "trivial" Killing form
A remark for those who, like me, feel a little rusty on the topic: even in characteristic $0$, a vanishing Killing for does not imply nilpotence of the Lie algebra (although the converse is true): the...
View ArticleComment by Gro-Tsen on Proof-theoretic strength of subsystems of...
Do you know a subsystem of KP that has proof theoretic ordinal $\Gamma_0 = \varphi(1,0,0)$?
View ArticleComment by Gro-Tsen on On the set of differentiability of a fat Cantor staircase
Remark: the set of non-differentiability of $f$ is included in the boundary $\partial C$ for the density topology (i.e., $C$ minus its density interior $E$, the latter consisting of points where $C$...
View ArticleAnswer by Gro-Tsen for On the set of differentiability of a fat Cantor staircase
Let me answer a different question that I think is relevant in connection to the one above. Let us ask:Can we find a function $g\colon[0,1]\to\mathbb{R}$ that is differentiable everywhere (so, in...
View ArticleComment by Gro-Tsen on Does mutual independence yield independence for...
I would say “pairwise independent” for what you call “mutually independent”. Anyway. Consider two independent uniform random variables $X_1,X_2$ on $\mathbb{R}/\mathbb{Z}$ and let $X_3=X_1+X_2$ (mod...
View Article