The existence of hyperdoctrines implies the existence of hyperpopes
Matteo Capucci
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement. You can't find me here, I'm on @mc@mathstodon.xyz
A letter to the math community, to appear in the Notices. In response to what I view as irresponsible messaging and unfortunate decisions from some mathematical leaders influencing many in my department. www.math.toronto.edu/mgualt/math-...
Mathematics and the LLM: 2026 – Coordinate Change
math.toronto.edu
this one's for @hankgreen.bsky.social following his beautiful video on the moons of Jupiter: how do we know so much about their deep internal morphology??
Brian Eno's "Ambient 1" only sold 10,000 copies, but everyone who bought it went on to start an airport.
my bsky feed: awful trump admin stuff (sad) my twitter feed: awful trump admin stuff (funny)
not on my bingo card: an ε-δ definition of continuity in category theory (from 'Homotopy Linear Algebra' arxiv.org/abs/1602.05082)
a #Sanremo2025 dovrebbero eliminare una canzone la prima serata, giusto per far capire chi comanda
today's (well-known) trick in category theory: the pasting law for pullbacks works in two directions, i.e. if the right square below is a pb then the left square is a pb *if and only if* the pasting is in other words: drawing the pb corner on the right isn't ambiguous notation
if God wanted Italians to work he wouldn't have made bar con i tavolini al sole a gennaio and espressos
it's a common misconception that math has no real world applications, in fact it has application in worlds over every field of field of characteristic zero
Debunking can be a fun way to find an audience in science communication, but I think it can be over-relied on. We should be celebrating more than we are defending, not just because it’s less miserable, but also because it’s good marketing!
in hindsight, it was pretty obvious that a polynomial is solvable when its Galois group is solvable, it's right there in the name
The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, logic, type theory, coalgebra, semantics, and quantum computing. www.andreipopescu.uk/MGS_Sheffiel...
MGS 2025
andreipopescu.uk
Between 2019 and 2023, researchers paid $8.968 billion to make papers open access. Imagine what else could be done with this money if it wasnt paid to for profit publishing companies... 👉 arxiv.org/abs/2407.16551
i'm pretty sure X is shadowing mentions of #DeepSeek censorship, which is pretty worrysome if you ask me
today's the first time bsky's timeline is funnier than twitter's
screaming this at real analysts like a lovecraftian banshee
As an immortal Maia, the Balrog of Moria could not die, it merely returned to a spirit form and was forced to drift impotently through the world. By the late Fifth Age it had regained enough strength to take on a new physical body, albeit a frail one compared to its previous demonic form, but […]
Original post on mathstodon.xyz
mathstodon.xyz
I SAID YES!!!!!! 💍🥂🥳🎉 i asked myself if i wanted another cup of coffee.
Oh come ON now. This new JWST image is just ASTOUNDING. I feel like I’m falling looking into it, and that I would fall forever, and that I would enjoy it. NASA, ESA, CSA, K. McQuinn (STScI), J. DePasquale (STScI)
big supporter of this theory of why billionaires are descending in madness
jamelle@jamellebouie.net · 2y agomegawealth is a curse! you become acutely aware of the needs you have that cannot be satisfied through material means AND you are socially ill-positioned to be in a place where you can experience authentic human connection because everyone around you has every incentive to lie to you!
Sometimes you use a pen that turns out to write way better than you thought it would and oh man that’s the good stuff
why do people (here: Girard) write sequent calculi with only right-handed sequents? is it just convenience?
