E
mathemagical@mathstodon.xyz
<p>Just a lurking math casual, don't take anything I say at face value<br />Here for mathematical poetry through rhythm & hues</p>
Posts
-
Post #2375041
Exploring Knot Theory Part II I don&#39;t quite understand J-Polynomials or Khovanov homology so I wouldn&#39;t trust my Reidemeister move verification logic yet. That said, it&#39;s kinda fun just playing with trefoil knot #letsplay #math
-
Post #2375040
Spectral sequences are fascinating but the topic is so dense. Can someone write a Spectral Sequences for Dummies book? :P #letsplay #math
-
Post #2375038
Coxeter and Dynkin Diagrams: Part II https://ikrima.github.io/topos.noether/baez/coxeter-dynkin-02.html Based on the wonderful tour of Coxeter and Dynkin Diagrams from Baez (https://arxiv.org/abs/2601.02290) #letsplay #math
-
Post #2375037
I turned my notes on spectral sequences into an interactive exploration: https://ikrima.github.io/topos.noether/x/spectral-sequences-guide.html Source material that finally helped make it click was @tpfto recommendation of Chow&#39;s &quot;You Could Have Invented Spectral Sequences&quot; I also experimented with making study aid infographics using ChatGPT 5.5 image generator but it&#39;s too fickle for me right now to rely on for maintaining detail like subscript indices. #let...
-
Post #2057061
The right mirror doesn&#39;t distort less. It distorts along the structure, so that the features you need to see are the ones that remain invariant. #math
-
Post #2057060
I see this pattern everywhere as I explore higher end math as a #math casual: a category C\mathcal{C} C (modules, bundles, representations, sheaves, projections in an algebra) decomposes into atoms (simples, irreducibles, points, primes, factors), and there&#39;s a trace-like map from C\mathcal{C} C to a more linear object (cohomology, class functions, cyclic homology, the modular spectrum) that turns the categorical structure into something computable, and that — in good cases — lets you re...
-
Post #2057059
@highergeometer I&#39;ve been building and exploring coding infrastructure/tools around your goal of &quot;bring higher (i.e. categorified) geometry down to earth to the point that physicists can do routine concrete calculations with it&quot; I obviously don&#39;t have the domain knowledge from physics so at best I can only showcase it for computer graphics but I&#39;d love your thoughts of this is along the lines of what your thinking (imagine someone with actual math exper...
-
Post #2057058
Claude/ChatGPT continue to be my 2026 Game Of The Year, transforming learning into a Let&#39;s Play Math. Here&#39;s a fun session exploring knot theory. #letsplay #math
-
Post #2057057
Time to dive into Coxeter and Dynkin Diagrams: Part I https://ikrima.github.io/topos.noether/baez/coxeter-dynkin-01.html Based on the wonderful tour of Coxeter and Dynkin Diagrams from Baez (https://arxiv.org/abs/2601.02290) #letsplay #math #casuals