fouche @ququ7
I make diagrams commute, whether they do it or not. Joined September 2009-
Tweets2K
-
Followers821
-
Following264
-
Likes427
To all the referees that keep saying "the paper does not contain many examples" and "it is unclear what the applications of [...] are": there is none. Zero. Ø. I will never focus on anything other than the inherent mathematical beauty of a monadic, self-referential question.
page 1 of the paper: "Transducers are classical computational devices that extend FSMs with the ability to produce output" page 10 of the paper: "...we have just proved that this boils down to a graded promonad, with the grading given by the monoidal category of states"
This might very well be the most exciting paper I've managed to write so far. Kudos to @iwilare who almost single-handedly pulled this bravura piece.
If you were alone in the woods, would you rather encounter a bear or a man? Plot twist: the bear is an applied category theorist
Inside you there are two wolves: one invents graph theory to solve the Konigsberg problem, the other informally moves terms around a series to solve the Basel problem. Inside you there are two wolves: both wolves are Leonhard Euler.
— The species must flow. He who controls the species controls the universe.
"Knowing that the Riemann-Hilbert correspondence is an equivalence of triangulated categories may feel empowering, but as a matter of technique, it is mere stardust compared with the power of being able to write in full the 2-dimensional universal property of a lax limit."
<<Just consult a score of recent textbooks; discard any that seem a little different from the rest; those that are alike except for variation in offences to the language in which they are written will give you what "tradition" is in its present phase.>> C. "Savage" Truesdell

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
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Simon Pepin Lehalleur @plain_simon
4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.
alexis.toumi @AlexisToumi
1K Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
FRG @fabgenovese
4K Followers 372 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Dr Finished and Tired @DoneWithMaths
2K Followers 556 Following Homotopy theory is hard, as is grad school*. He/Him. *Fuck! I actually did it!
David Jaz Myers @myers_jaz
1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Dan Marsden @StringDiagram
1K Followers 182 Following Categories, computer science and logic. @[email protected]
Giovanni de Felice @gio_defel
351 Followers 117 Following Phd student - Category theory - NLP - Quantum
Mel Andrews @bayesianboy
30K Followers 9K Following I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
Amar Hadzihasanovic @amar_hh
966 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Pawel Sobocinski @PawSob
1K Followers 803 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Eigil Fjeldgren Risch... @Ayegill
2K Followers 539 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Atef Toumi @AtefToumi3
120 Followers 3K Following
Brendan @Amoeba314
32 Followers 402 Following Just a wee cell sack trying to learn and survive these chaotic and dangerous waters
mummy helper @bl29845_bluett
322 Followers 7K Following Are you in need of help to pay off bills and some other things dm me now and get bless immediately I will be glad to help you out helping people is my priority
Marco Francischello @marcofrancisc
146 Followers 774 Following Researcher in finance and economics . Interested in economics, mathematical modelling and all things machine learning.
Nichol (Cohl) Furey @CohlFurey
2K Followers 419 Following Mathematical physicist Recurring themes: Animals, advancement, abnormalities, algebra, and art. @[email protected] @particohl.bsky.social
makingcolorblue @makingcolorblue
0 Followers 2K Following
neuroevolutus @neuroevolutus
23 Followers 3K Following
Dario Bojanjac @DarioBojanjac
28 Followers 465 Following
Mandu🐥 @fynmaaandu
224 Followers 672 Following I have been gauged. I like to think about knots. Discord: Fynmaaandu
darthur @darthur
1K Followers 2K Following intuitionist - reality - math - distributed systems design - robotics - tree-felling - - - @mit_triune @apple @idealab @openai @daedalus @sf
Michael Evans @TeamTock
540 Followers 2K Following TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.
schch @meehaaaaaa
6 Followers 381 Following
S.A. Senchal @samsenchal
449 Followers 1K Following Free Will, Consciousness, Computation, The Heroes Journey, Observation and everything that lives in the gaps. Founder of ABEX
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
λ @lambda_functor
879 Followers 8K Following
Igor Baković @bakovic_igor
189 Followers 290 Following A working category theorist, working on foundations of mathematics, logic and theoretical computer science.
Quang Khai Nguyen @QuangKhaiN61267
0 Followers 34 Following
𝕽𝖎𝖈𝖍𝖆�... @hee_kr_doo
70 Followers 1K Following If one knows not how to brincar, one should not descer pro play
Professional Manageri... @guerre_doctrine
267 Followers 2K Following swagness be my glomp x3 #TheLabsAreOutOfScience current research focus: representation/interpretability using SST (sheaf TDA)/SNNs; interested in sociophysics.
David Young @roboguy20
504 Followers 2K Following Computer science PhD student focusing in programming languages
Guy McCusker @guymccusker
95 Followers 25 Following
thedevbirb @thedevbirb
282 Followers 1K Following R&D ⎯⎯⎯⎯⎯⎯⎯■ @chainbound_ • @boltprotocol_ | prev dev @Tide_web3 | math @unimib. Cocktails enjoyoor 🍸
FLUCTONIC @FLUCTONIC
95 Followers 7K Following My hypothesis on: Cancer, Prime Numbers, Perfect Numbers, Attenuation of viremia, Quantum Mechanics «FLUCTON» (photon with variable volumetry), Freefall on air
scrtrybrd @ndgbntng
21 Followers 391 Following
Abhijeet Bhalkikar @abhalkikar
13 Followers 924 Following
Naveen N @naveennaenra822
362 Followers 6K Following Rectification | Renaissance | Omniology | Consilience
Clasha Rinox @ClashaRino65182
218 Followers 8K Following
Tom @tomstructured
23 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
Chuyên gia Bất đ�... @ngocthang678
2K Followers 7K Following
Nick Bulka @nbulka
97 Followers 271 Following https://t.co/dkZrTr1FaO Pro dad, pro ducer, armchair philosopher https://t.co/LV5ZES8a1Q…
fnmat @FnmatMnfath12
87 Followers 1K Following
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
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
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
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.
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Simon Pepin Lehalleur @plain_simon
4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.
alexis.toumi @AlexisToumi
1K Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
FRG @fabgenovese
4K Followers 372 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Dr Finished and Tired @DoneWithMaths
2K Followers 556 Following Homotopy theory is hard, as is grad school*. He/Him. *Fuck! I actually did it!
David Jaz Myers @myers_jaz
1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Jay Cummings @LongFormMath
44K Followers 595 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).
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Dan Marsden @StringDiagram
1K Followers 182 Following Categories, computer science and logic. @[email protected]
Giovanni de Felice @gio_defel
351 Followers 117 Following Phd student - Category theory - NLP - Quantum
Nichol (Cohl) Furey @CohlFurey
2K Followers 419 Following Mathematical physicist Recurring themes: Animals, advancement, abnormalities, algebra, and art. @[email protected] @particohl.bsky.social
A meme page to check ... @memecrashes
343K Followers 264 Following currently working on our PhD (imaginary issues no one cares about except a really really really specific audience)
Lead Iodide Lip Gloss... @Iris_Illera
616 Followers 125 Following A toolmaker and fundamental researcher (with stress on Fun). Plant physiology, molecular genetics, else. You have got nothing to lose but global supply chains.
Γ(z) @gammaofzeta
12K Followers 2K Following Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.
Guy McCusker @guymccusker
95 Followers 25 Following
toomas hendrik ilves @IlvesToomas
195K Followers 2K Following Toomas Hendrik Ilves From Estonia. Where Digital is Native. And come in at #2 in the world in internet freedom. @[email protected]
de Staël Ada Compile... @logarithmicVoid
2K Followers 310 Following ܐ = { 弦圖, 和算, 景教 } ∀ ܬ ∈ ܐ: ܬ/https://t.co/uxNUtaS9Bs
Pietro Monticone @PietroMonticone
2K Followers 678 Following Informal Mathematics @UniTrento || Formal Mathematics @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Michael J Barany @MBarany
4K Followers 1K Following Historical and cultural theories about math and science theories. Fields Medal killjoy. @UoE_STIS by day, @MathHistFacts by night, @SIGMA_maths thru 2027.
The Cultural Tutor @culturaltutor
1.7M Followers 69 Following I've written a book, and you can get it here:
Giovanni Luca Marchet... @giovannimarchet
314 Followers 72 Following PostDoc at KTH (Stockholm) in Deep Learning and Computational Geometry.
Typst @typstapp
4K Followers 125 Following This profile is archived. Follow Typst on Bluesky (@typst.app), Mastodon (@[email protected]), and LinkedIn instead. We'd be excited to see you there!
out of context dogs @contextdogs
2.0M Followers 936 Following follow us for daily dog Content 🐶| Dm for credit and removals | @gifpuppies
Mel Andrews @bayesianboy
30K Followers 9K Following I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
Kamil Przespolewski @k_przespolewski
120 Followers 1K Following Active on mathstodon. Quit high school to do movies. Quit movies to read sci-hub. Now at uni studying math.
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Esa Pulkkinen @PulkkinenEsa
189 Followers 722 Following Software developer, Java, Haskell, C++, category theory, logic, abstract algebra. All opinions are personal. I don't represent any organization in tweets.
adittya chaudhuri(@Ad... @adittyachaudhu1
1K Followers 1K Following Visiting Scientist @ ISI Kolkata (Stat-Math)| ACT, Systems Biology & Higher Diff. Geometry | Postdoctoral guest scientist @ Univ Rostock | PhD Math @ IISER TVM
sterzing, non vipiten... @Crosettismo
1K Followers 1K Following Pearà enjoyer "My day passes between logic, whistling, going for walks and being depressed" boring swimming stuff
Austin Bell @AbellsTheorem
668 Followers 1K Following Mathematician, @txst, @UNM (MS, pure math) @UTAustin (BS, math) He/Him. Loves math and helping people explore it. Currently obsessed with: Monads.
George Kaye @thegeorgejkaye
208 Followers 737 Following Computer Science PhD student at the University of Birmingham, interested in applied category theory. Tweets about walking, cycling, railways, and arsenal.
Alex Kavvos @lambdabetaeta
729 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Yeonmi Park @YeonmiParkNK
229K Followers 1K Following North Korean Defector / Author of Bestselling Books / BBC 100 Women / TED Speaker / 1M Sub YouTube / YAF Speaker
Ryuya Hora @hora_math
146 Followers 142 Following English account of @hora_algebra / the University of Tokyo / Category theory
Rimma🇺🇦 @RimmaH112514
721 Followers 656 Following Some weird Finnish person living in Berlin. Math education enthusiast Writer Red Bull appreciator
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Cenobyte🦑🧲⚫�... @cenobyte3
3K Followers 4K Following Quantum Gravity Theorist, Research [email protected] Bunny parent to a cute black and white Netherlands Dwarf rabbit. He/Him #teamcarrotcottage
guidoboccali @guidoboccali1
13 Followers 90 Following
Aleksandra Sobieska @combinatola
652 Followers 125 Following math and panic twitter. she/her/hers. i'm on the job market, tell your friends.
Jack @sketchesofjack
100 Followers 986 Following mathematical proof, metaphysical truth, thermonuclear fuse, don’t wanna see me in the booth.
Adil @adilsoubki
232 Followers 589 Following math, physics, and cs @cambridge_astro / recovering NLP researcher / prev @ HRT, SBU
Fabio Mogavero, Ph.D.... @fabiomog
136 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
yoomi @yoomi____
21 Followers 431 Following vegan, math student, anarchism sympathizer,interested in algebraic geometry, topology, category theory and number theory, she/her
Giuseppe Metere @GiuseppeMetere
18 Followers 60 Following
Ru 🌸♿️ (she/th... @RollWithRu
26K Followers 598 Following queer disabled activist who is a lover of all thinks pink 🩷🌸🧚♀️🎀 ♡ cosplayer | streamer | activist ♡ 🌸for collabs/enquiries: [email protected]