Category Witch @JadeMasterMath
Mathematics is fun sites.google.com/view/jadeedens… she/her Joined April 2018-
Tweets18K
-
Followers7K
-
Following1K
-
Likes29K
I can suggest an equation that has the potential to impact the future: 𝐍𝐚𝐭(𝐇𝐨𝐦(−, 𝐶), 𝐹) ≅ 𝐹(𝐶) + AI Given a category 𝒞, a functor 𝐹 : 𝒞ᵒᵖ → 𝐒𝐞𝐭, and an object 𝐶 ∈ 𝒞. This equation combines Yoneda’s famous Yoneda lemma, which relates a category (𝒞) to…
I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?
I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?
Bohmian interpretation of quantum mechanics
What is pip then?
Projective geometry is when you draw a lot of lines
Projective geometry is when you draw a lot of lines
People just learning that Israel is an authoritarian theocracy are like:
Still getting weirded out about how: Lax functors C -> Span And Lax normal functors C -> Prof are the same thing
For R&D community nucleation, it’s exciting that @ToposInstitute opened a UK office, relocating @u_map_prop and @myers_jaz; while @JadeMasterMath and @tangled_zans used our funding to launch a new nonprofit research institute in Glasgow (GLAIVE: Glasgow Lab for AI VErification).
Cats are invariant under SO(3) transformations! 😼
You, foolishly: a double category has horizontal and vertical morphisms Me, wise, laying flat: no those are vertical and horizontal morphisms
Freestyling is left adjoint to forgetting the lyrics
Zariski inventing algebraic varieties was like:
Yes exactly. The trick is to find the right generality where the definitions have canonical choices
Yes exactly. The trick is to find the right generality where the definitions have canonical choices
Above

Daniel Litt @littmath
50K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Jay Cummings @LongFormMath
44K Followers 596 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
Jessamyn Dukes @rhymeswspecimen
3K Followers 493 Following eternal math undergrad: UCC '20, Rutgers '23. can leap small ottomans in a single bound. queer, trans, gender is performative. not Jessamyn "the gun" Duke.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
julia🦄 @KamerynJW
6K Followers 475 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexandra ✨ @EulerWept
4K Followers 372 Following \mathbb{🥺} | she/her | 1312 | antifa | I study math | 🧗🏻♀️
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Emi, resting 😷 @EmiDoesMath
2K Followers 544 Following Math grad student (combinatorics/rep theory) • 🇯🇵🏳️🌈♿️ • she/they • police & prison abolitionist • wear a mask • [email protected]
bowtochris.bsky.socia... @BowToChris
1K Followers 519 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.
Iso (math fool) @IsomorphicPhi
6K Followers 1K Following Background in theoretical physics/math. Interested in mathematics, philosophy and physics. Some kind of anarchist communist, I guess. He/they. Eng/Swe
She hopf on my fibrat... @girlbossmoder
6K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Tim Henke (tɪm 'ɦɛ... @TimHenke9
2K Followers 1K Following 🇳🇱 Postdoc in Quantum moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry. Maths/Physics/Logic – Please talk 🇩🇰🇮🇹🇩🇪🇲🇫 to me
liyowen @liyowen182337
931 Followers 6K Following
- @ystructplaie
1 Followers 202 Following
Faz3 @HamdanBinMohf3
176 Followers 3K Following Every picture has a moment I would love to share with you. #Faz3 #f3
Ousman Jarju @jarousman21
160 Followers 3K Following
Kirk Lee Rhoads @kirkrhoads
2K Followers 687 Following Administrator, Kent Rhoads Foundation offering financial support to meditation retreat participants.
Ivilivilly @Ivilivilly
2 Followers 147 Following
dillon anthony @youg11011
711 Followers 3K Following
High priestess Sarafi... @HSarafina26226
59 Followers 2K Following Spell Caster / Astrology/ Spiritual Enlightened/ Tarot / Hoodoo/ Lover of Cat 🐈
Luqman Waheeduddin @luka235711
2 Followers 176 Following
. @dxyxyzz
0 Followers 160 Following
Lasanna @Muhammad1019171
109 Followers 6K Following he is the greatest ☝️ I’m a orphan 19 age, from The Gambia 🇬🇲✝️☦️
Roseline Troutman @RoselineTr37698
158 Followers 561 Following
Algebraist @Algebraist30418
0 Followers 54 Following
Jackson joe Davis @jackson_jo99461
354 Followers 7K Following
Eunan McNamee @eunanmcnamee
1K Followers 4K Following Progressive & 'backwards' civil rights activist, @Google digital marketer & e-commerce specialist. See my highlights for my stream of consciousness.
SpringsteenSoul @BornToRunFans
70 Followers 2K Following Born in the USA, living in the lyrics 🇺🇸 | Vintage vinyls, denim jackets & stadium lights | #BruceSpringsteen
Wizard @cwo_wizard
15 Followers 422 Following
Barbara @Medy04176747
195 Followers 5K Following You will doubt yourself, but remember that you have made it through the hardest days. You are stronger than your fears. 🚫 Porn 🚫 Sales pitch 🚫 Cryptocurrency
CLARA KENDRA @CKendra26489
191 Followers 907 Following
Omot_@73 @mayowaOmot17611
15 Followers 30 Following |Mathematics Student|Data Analyst|Scholar|OAU Star✨|Lover of God 😌|
Saujanya @saujanya25
44 Followers 360 Following
Makenzie Coupe @Makenzie_Hype
28 Followers 247 Following Business Development Manager at @talent_hype
Ibihee @Ibihee26464
41 Followers 1K Following
Patrick Elliott @PatrickEll57085
0 Followers 24 Following
Matt Karrmann @karrmannmatt
101 Followers 1K Following Sucker for a good abstraction Working on Presto @Meta. Views are a superposition of my own and my employer's.
unruly abstractions @unrulyabstract
8 Followers 649 Following https://t.co/Gwjhi1Sfma all my failures are hopefully interesting
Alneahirq @Alneahirq730
56 Followers 811 Following
TonyStock @TonyStock966952
159 Followers 2K Following
Bas @basketticode
4 Followers 692 Following
Antoni P. Kodzis @Antoni_P_Kodzis
1 Followers 63 Following Keen on Number Theory Algebraic Geometry: -Adic Geometry , Perfectoid Spaces
malkin1729 @FelineAutomaton
135 Followers 209 Following Mathematician/informatician thinking probabilistically, expecting the same of you ‘Tis categories in the mind and guns in their hands which keep us enslaved &🦋
makingcolorblue @makingcolorblue
0 Followers 2K Following
Herd2Health @herd2health
8 Followers 172 Following Find your Herd. Migrate to Health. Transforming lives through ancestral health, unified mindfulness, and functional fitness. In community, and ecologically.
Adam @Adam30791873427
206 Followers 7K Following Savior: “And we have seen and testify that the Father has sent the Son as Savior of the world” (1 John 4:14).✝️🫶🏻
Anucde Ramoji @root2_maths
2 Followers 62 Following
el Axioma De ?•¿{:... @edealba_
661 Followers 1K Following aspiring surrealist 👻 &expressivist that digs std::mathematical / neo-pythagorean realism and 𝐒𝐄𝐋𝐅-𝐑𝐄𝐅𝐄𝐑𝐄𝐍𝐓𝐈𝐀𝐋𝐈𝐒𝐌: https://t.co/InBKdqbXpF {ø,};°
William Burke Garrett @BurkeGarre64892
26 Followers 1K Following **U.S LIEUTENANT GENERAL** **IT'S MY OBLIGATION TO PROTECT THE INTERESTS OF OUR GREAT NATION...."AMERICA". A NATION UNDER GOD**
Hamdan fazza @HdhhHrhjr50866
0 Followers 222 Following
Danial @_TEMSAH
34 Followers 275 Following Software Engineer, Codeforces LGM, I also extract confessions from uncooperative code for fun, they call me Auditor.
MNG STM @MNG_STM
53 Followers 785 Following MNG STM - Academic and Professional books from STM publishers across the world. Part of the Mare Nostrum Group. Based in Harrogate, UK.
Atif Hussain___@AtifH... @UzodinoIsinguzo
34 Followers 458 Following Teaching trading and self-improvement. Not financial advice.
Daniel Litt @littmath
50K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
Jessamyn Dukes @rhymeswspecimen
3K Followers 493 Following eternal math undergrad: UCC '20, Rutgers '23. can leap small ottomans in a single bound. queer, trans, gender is performative. not Jessamyn "the gun" Duke.
julia🦄 @KamerynJW
6K Followers 475 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexandra ✨ @EulerWept
4K Followers 372 Following \mathbb{🥺} | she/her | 1312 | antifa | I study math | 🧗🏻♀️
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Emi, resting 😷 @EmiDoesMath
2K Followers 544 Following Math grad student (combinatorics/rep theory) • 🇯🇵🏳️🌈♿️ • she/they • police & prison abolitionist • wear a mask • [email protected]
bowtochris.bsky.socia... @BowToChris
1K Followers 519 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
She hopf on my fibrat... @girlbossmoder
6K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
Timothy Gowers @wtgow... @wtgowers
48K Followers 184 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Dᵇ(Monkey) Alex Sch... @chmonke
2K Followers 222 Following Graduated from @UW-Seattle studying math. I like AG and commutative algebra. 2nd year PhD student @Columbia
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Galois @galois
6K Followers 657 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
ARIA @ARIA_research
14K Followers 54 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible.
Quinn Dougherty (new ... @qd_forall
132 Followers 125 Following Bridging the cultures between formal verification and AI. My p(doom) is 50% cuz it either happens or it doesn't. https://t.co/NlknpJL8D6
aster @RiotAtArbys
171 Followers 220 Following personal account see @ArsonAtDennys for politics, discourse and the latest trashfires
Akiyoshi Kitaoka @AkiyoshiKitaoka
68K Followers 2K Following I am an experimental psychologist who studies visual illusions as well as makes illusion artworks. #illusion #opticalillusion #perception #錯視
irishgamergrrl @irishgamergrrlx
125 Followers 692 Following Animation, making music, gaming and art stuff on Twitch
James Propp @JimPropp
4K Followers 65 Following I'm a professor at UMass Lowell. I write a monthly blog called Mathematical Enchantments (https://t.co/8oUk5ueVoN). Sometimes I’m facetious w/o using smileys.
Challenging and inter... @Rashid5890
1K Followers 766 Following Follow my problems and you will be able to solve them...
Tien Chih @TienChihMath
1K Followers 609 Following Assistant Professor of Mathematics at @EmoryOxford. Father & Husband. Wannabe Cook. I like to teach/do/spread math as I can. (He/His)
PinkNews @PinkNews
305K Followers 1K Following World’s most read & watched LGBTQ+ digital media publisher. Snapchat: PinkNews.
Medis @1medisart
105 Followers 181 Following Dangaus šviesulių kultas ⚡ Škotija. They/them. Tarot, the cosmos and all that.
Clementine @thegoodcatgirl
252 Followers 20 Following Also known as Clem, Clembone and Dr Leg, a trans and sex worker ally who likes eating toes 😻
snail slut the slut w... @mathematicsslut
1K Followers 2K Following math, girls, and snails. 29. venmo: math_girl minors dni plz!! 💕 @kaedra99 💕
Fiona @fionafibration
394 Followers 1K Following homotopy theory & mathematical physics, she/her, 🏳️🌈🏴
Vince Vatter @VinceVatter
9K Followers 659 Following Mathematician at the University of Florida @UF. Combinatorics, GraphTheory, AI.
lula @lularobs
30K Followers 408 Following
florence 🐝 @morallawwithin
10K Followers 1K Following kantian 🏳️🌈 / philosophy phd student / vegan for the animals / liberal / creatine evangelist / pause ai / 4 mutuals @formofthegood / my substack is rly good
Pretty Much a Combina... @LilithEmmy
239 Followers 598 Following 22. Trans Bambi Dyke. Tucsonan. Antifascist. Socialist. Algebraist ~ Combinatorics, Mackey Theory, Frobenius-Young. Drummer. Astrophotographer. She/They.
Daily LinAlg T/F Ques... @LinAlgDaily
121 Followers 335 Following Posting daily true/false questions relating to undergraduate linear algebra. Please comment proofs/counterexamples. Link below for question and solution bank.
Dinner May Be Late @DinnerMayBeLate
111 Followers 111 Following @LilyPowers and @PTOOP are easily distracted, but they'll manage some sort of food, eventually.
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
Lewis MacKenzie @LEMacKz
5K Followers 5K Following Developing upconversion nanoparticles for biosensors | scicomm studies | he/him | expect typos.
Best of Dying Twiter @bestofdyingtwit
93K Followers 3 Following Looking into it. Chief Looker: @jenntakahashi
November @postoctobrist
48K Followers 1K Following fucked up in glasgow eating sainsburys @trashfuturepod/@wtyppod/@killjamesbond/@nogodsnomayors. she/her but they/them if you’re mad at me
jewdⒶs // ייִדה... @jewdas
47K Followers 3K Following Radical Voices for the Alternative Diaspora || Refugees Welcome || Gratuitously Jewish
Atieno Songa @AtienoSonga
745 Followers 891 Following The Writing Mathematician | Founder, Hope for the Girl-Child Foundation | Author, Beyond the Crevices & In Dana’s Honour | Flawlessly Flawed Human.
Consistently Candid A... @FellowHominid
1K Followers 499 Following Just because you're paranoid doesn't mean they're not after you
codenforcement @codenforcement
3 Followers 224 Following
Strathclyde UCU @StrathclydeUCU
3K Followers 403 Following Over 250 years of useful learning... now fighting for useful T&Cs, a #modestbuffet, equality in the workplace & an end to casualisation. #StrathLife
WeebSimpsons @WeebSimpsons
28K Followers 0 Following What if everyone in Springfield was an Otaku? Updated whenever I feel like. enjoy the vast backlog!
Counting is Hard(@cou... @counting_hard
45 Followers 200 Following @[email protected] Maths / CS account of @reset_shift. YT / Blog coming soon. Dodecahedron Fan Combinatorics / Category Theory / Type Theory
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Vincent Wang-Maścian... @vinnylarouge
637 Followers 415 Following CS Dr. @ Oxford, aspirant friend of diagrams
Sophie @eiphos_sophie
17 Followers 41 Following
Better Posters @Better_Posters
2K Followers 125 Following Improving posters since 2009! Book from @PelagicPublish in print and ebook formats. Your host: @DoctorZen. Not the viral video.
(Tilde t ~ til) @tilde_cs
283 Followers 213 Following abstract nonsense against boredom ~ dysfunctional programming ~ ~ lazy, pure & free ~ ~ p2p t4t ~ a fraction of @t1lde
mai @t1lde
237 Followers 467 Following ~ they/them ~ ~ autonomous, androgynous ~ ~ allergic to meaning ~ - t4t 4eva ~ ~ dms welcome ~ a fraction of @tilde_cs