Category Witch @JadeMasterMath
Mathematics is fun sites.google.com/view/jadeedens… she/her Joined April 2018-
Tweets18K
-
Followers7K
-
Following1K
-
Likes29K
Category Witch retweeted
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…
13
8
168
9K
20
Category Witch retweeted
Today at 6pm UK time I am excited to be giving a talk at the NYC Category Theory seminar. sci.brooklyn.cuny.edu/~noson/Seminar… The topic is our recent paper: Categorical Deep Learning: An Algebraic Theory of Architectures categoricaldeeplearning.com See you there!
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
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:
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
Category Witch retweeted
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).
If you're in Glasgow you can come see me play music here
Category Witch retweeted
Math Roadmap:
Category Witch retweeted
Cats are invariant under SO(3) transformations! 😼
Category Witch retweeted
\newcommand{\R}{\mathbb{R}}
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:
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
Category Witch retweeted
If you are referred to the London Gender Clinic today, based on current rates of first appointments the waiting list is 37 years. These segregated clinics need to be closed. Patients need to be seen in primary care the way everyone else already is.
If you are referred to the London Gender Clinic today, based on current rates of first appointments the waiting list is 37 years. These segregated clinics need to be closed. Patients need to be seen in primary care the way everyone else already is.
Above
Daniel Litt @littmath
50K Followers 884 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 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Jay Cummings @LongFormMath
44K Followers 598 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 494 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 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Matteo Capucci @mattecapu
6K Followers 820 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
Dr. Marissa Kawehi Lo... @MarissaKawehi
8K Followers 1K Following Kānaka maoli & Black. Assistant Professor of Mathematics @ UW Madison. Usually tired (not sleepy). Forever dreaming of home (Moku o Keawe).
Alexandra ✨ @EulerWept
4K Followers 373 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
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Dr. Noelle, mathemagi... @blkmathmagic
5K Followers 855 Following 🇧🇸 Bahamian. Black. Mathematician. Auntie. Baker. Sometimes funny. Weary. She/her. @BlackInMath
Emi, resting 😷 @EmiDoesMath
2K Followers 546 Following Math grad student (combinatorics/rep theory) • 🇯🇵🏳️🌈♿️ • she/they • police & prison abolitionist • wear a mask • [email protected]
bowtochris.bsky.socia... @BowToChris
1K Followers 514 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
5K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
invest in (TESLA) @atuidesu_0077
205 Followers 518 Following
Jackson joe Davis @jackson_jo99461
212 Followers 5K Following
Scott Clifton @clifton_sc91293
1 Followers 407 Following
Bruoonap @Bruoonap084295
24 Followers 1K Following
Eunan McNamee @eunanmcnamee
1K Followers 3K Following Progressive & 'backwards' civil rights activist, @Google digital marketer & e-commerce specialist. See my highlights for my stream of consciousness.
Wizard @cwo_wizard
14 Followers 379 Following
Barbara @Medy04176747
135 Followers 3K 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
185 Followers 932 Following
Omot_@73 @mayowaOmot17611
13 Followers 29 Following |Mathematics Student|Data Analyst|Scholar|OAU Star✨|Lover of God 😌|
Saujanya @saujanya25
46 Followers 360 Following
Makenzie Coupe @Makenzie_Hype
32 Followers 252 Following Business Development Manager at @talent_hype
Ibihee @Ibihee26464
36 Followers 946 Following
Patrick Elliott @PatrickEll57085
1 Followers 23 Following
numino @NuminoPuzzle
341 Followers 5K Following A minimalist math puzzle game. Slide numbers and operators to reach the target. Challenging, offline, and free.
Matt Karrmann @karrmannmatt
100 Followers 1K Following Mostly just hype-posting about AI stuff, hoping to meet cool people on here Working on Presto @Meta. Views are a superposition of my own and my employer's.
unruly abstractions @unrulyabstract
9 Followers 524 Following https://t.co/Gwjhi1Sfma all my failures are hopefully interesting
Alneahirq @Alneahirq730
59 Followers 769 Following
TonyStock @TonyStock966952
147 Followers 2K Following
Bas @basketticode
5 Followers 676 Following
Antoni P. Kodzis @Antoni_P_Kodzis
1 Followers 64 Following Keen on Algebraic Geometry: -Adic Geometry , Perfectoid Spaces
malkin1729 @FelineAutomaton
127 Followers 207 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
13 Followers 164 Following Find your Herd. Migrate to Health. Transforming lives through ancestral health, unified mindfulness, and functional fitness. In community, and ecologically.
Adam @Adam30791873427
186 Followers 6K 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
4 Followers 61 Following
el Axioma De ?•¿{:... @edealba_
664 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
2 Followers 223 Following
- @fractolimen
0 Followers 150 Following
Danial @_TEMSAH
31 Followers 278 Following Software Engineer, Codeforces LGM, I also extract confessions from uncooperative code for fun, they call me Auditor.
MNG STM @MNG_STM
42 Followers 741 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
29 Followers 459 Following Teaching trading and self-improvement. Not financial advice.
Andrew David Meier @andrewdmeier
112 Followers 2K Following
Brett Evans @brettevans
591 Followers 5K Following
Fennel @annoykawa
296 Followers 295 Following
ἴσος μορφή @AtmanBharadwaj
3 Followers 156 Following The sea crashes endlessly, not to be heard—but because silence would be unbearable.
no name @noname102059
7 Followers 343 Following
Amelia @amelia1120m
114 Followers 2K Following I'm Amelia , and I'm from Elon Musk management. If I reached out to you, that means you're a lucky fan and you stand a chance to meet Elon Musk❤️🚀
Indrajeet Sir Allen @IndrajeetSir1
20 Followers 622 Following
特殊関数bot @F6CMu8AwZBinXVl
0 Followers 7K Following UT master (幾何解析 Geometric analysis ) Lawyer/25 over/Ph.Dを取りたい Connesに影響を受け、統計力学のアナロジーを用いた数学を行っていました。 現在は弁護士・Driesオタ！
Open thoughts @ykopenthots
3 Followers 42 Following Intrusive thoughts on probability theory, mathematics, academia, and literally everything. math phd
Daniel Litt @littmath
50K Followers 884 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 137 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 494 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 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Matteo Capucci @mattecapu
6K Followers 820 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
Dr. Marissa Kawehi Lo... @MarissaKawehi
8K Followers 1K Following Kānaka maoli & Black. Assistant Professor of Mathematics @ UW Madison. Usually tired (not sleepy). Forever dreaming of home (Moku o Keawe).
Alexandra ✨ @EulerWept
4K Followers 373 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
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Dr. Noelle, mathemagi... @blkmathmagic
5K Followers 855 Following 🇧🇸 Bahamian. Black. Mathematician. Auntie. Baker. Sometimes funny. Weary. She/her. @BlackInMath
Emi, resting 😷 @EmiDoesMath
2K Followers 546 Following Math grad student (combinatorics/rep theory) • 🇯🇵🏳️🌈♿️ • she/they • police & prison abolitionist • wear a mask • [email protected]
bowtochris.bsky.socia... @BowToChris
1K Followers 514 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
5K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
Timothy Gowers @wtgow... @wtgowers
48K Followers 183 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 219 Following Graduated from @UW-Seattle studying math. I like AG and commutative algebra. 2nd year PhD student @Columbia
Galois @galois
6K Followers 658 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 (Phil... @qd_forall
122 Followers 121 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
127 Followers 696 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 763 Following Follow my problems and you will be able to solve them...
Tien Chih @TienChihMath
1K Followers 614 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 182 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 657 Following Mathematician at the University of Florida @UF. Combinatorics, GraphTheory, AI.
lula @lularobs
30K Followers 407 Following
Lilly @lillyonline
758 Followers 411 Following Glasgow | 26 | (she/it) priv: @lillyafterdark ❤️❤️ @anotherfinn💛💛@robin_j_y💜💜@Mingusahem💜💜@addamschloe
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
240 Followers 596 Following 22. Trans Bambi Dyke. Tucsonan. Antifascist. Socialist. Algebraist ~ Combinatorics, Mackey Theory, Frobenius-Young. Drummer. Astrophotographer. She/They.
Daily LinAlg T/F Ques... @LinAlgDaily
120 Followers 336 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
112 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
747 Followers 893 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 498 Following Just because you're paranoid doesn't mean they're not after you
codenforcement @codenforcement
3 Followers 227 Following
Strathclyde UCU @StrathclydeUCU
3K Followers 402 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 201 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 766 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Vincent Wang-Maścian... @vinnylarouge
636 Followers 417 Following CS Dr. @ Oxford, aspirant friend of diagrams
Sophie @eiphos_sophie
17 Followers 42 Following
Better Posters @Better_Posters
2K Followers 126 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
286 Followers 215 Following abstract nonsense against boredom ~ dysfunctional programming ~ ~ lazy, pure & free ~ ~ p2p t4t ~ a fraction of @t1lde
mai @t1lde
236 Followers 467 Following ~ they/them ~ ~ autonomous, androgynous ~ ~ allergic to meaning ~ - t4t 4eva ~ ~ dms welcome ~ a fraction of @tilde_cs
Backxwash @backxwash
26K Followers 4K Following Rapper/Producer/Vocalist/Anarchist inquires : [email protected] Manager : [email protected] Not Accepting Beats ty
Trends for United States
73,5 B posts
197 B posts
78,4 B posts
56,3 B posts
240 B posts
67,4 B posts
192 B posts
41,4 B posts
24,4 B posts
55,7 B posts
3.506 posts
8.040 posts
5.587 posts
5.296 posts
5.496 posts
7.166 posts
4.309 posts
4.245 posts
6.293 posts
6.005 posts
You might like
Bruno Gavranović
@bgavran3
9K Followers
Emily Riehl
@emilyriehl
15K Followers
julesh
@_julesh_
10K Followers
Daniel Litt
@littmath
50K Followers
Bartosz Milewski
@BartoszMilewski
35K Followers
Matteo Capucci
@mattecapu
6K Followers
Vidit Nanda
@viditnanda
8K Followers
Alexandra ✨
@EulerWept
4K Followers
Paolo Perrone
@PaoloPMath
2K Followers
David Corfield
@DavidCorfield8
2K Followers
𝕐𝕖𝕞𝕖𝕖�...
@yemeen
2K Followers
Zanzi Tangle, now at ...
@tangled_zans
3K Followers