Compositionality @compositional_j
open-access journal for compositional math and science compositionality-journal.org Joined April 2018-
Tweets17
-
Followers697
-
Following10
-
Likes6
New paper in Compositionality! "Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality" by McPheat, Sadrzadeh, Wazni and Wijnholds. Read it at compositionality-journal.org/papers/composi…
Our first issue of 2023: "Toposes of topological monoid actions" by Morgan Rogers. Read it at compositionality-journal.org/papers/composi…
New in Compositionality! "Urns & Tubes" by Bart Jacobs and "Categorical data structures for technical computing" by Evan Patterson, Owen Lynch, and James Fairbanks. Read them at compositionality-journal.org/papers/composi… compositionality-journal.org/papers/composi…
New paper published! "Language modeling with reduced densities", by @math3ma and Yiannis Vlassopoulos. Read it here: compositionality-journal.org/papers/composi…
New papers! - "Categorical Stochastic Processes and Likelihood" by Dan Shiebler - "Compositionality of Rewriting Rules with Conditions" by Nicolas Behr and Jean Krivine - "Homotopy theory of Moore Flows Pt. 1" by Philippe Gaucher Read them at compositionality-journal.org
We created this year's poster before realizing that in-person hallway posters are so 2019. Alas 😅
Upcoming talk series starting Nov. 12 featuring Compositionality papers + authors! Rick Jardine (UWO), Eigil Rischel (Strathclyde), and Arthur Parzygnat (IHES). See the MIT Categories seminar brendanfong.com/seminar.html for details
Just published: "Closing the category of finitely presented functors under images made constructive" by Sebastian Posur. Read it at compositionality-journal.org/papers/composi…
The next MIT Categories seminar (Thursday, Aug 27, 2pm EDT) will feature one of our authors, Michael Robinson, discussing his recent paper, "Assignments to sheaves of pseudometric spaces". For more details + Zoom link, go to brendanfong.com/seminar.html
New paper! "Infinite products and zero-one laws in categorical probability" by Tobias Fritz and Eigil Fjeldgren Rischel. Read it at compositionality-journal.org/papers/composi…
New talk series featuring recent papers in Compositionality! @DrEugeniaCheng will be talking about her paper, "Distributive laws for Lawvere theories" this Thursday, July 30 at 1600 UTC. Zoom: brendanfong.com/seminar.html. Paper: compositionality-journal.org/papers/composi…
Vol. 2, Issue 2! Michael Robinson on "Assignments to sheaves of pseudometric spaces." Read it at compositionality-journal.org/papers/composi…
New paper published! Eugenia Cheng on "Distributive laws for Lawvere theories." Read it at compositionality-journal.org/papers/composi….
Compositionality is now open for submissions to our first issue. To submit a manuscript, please visit compositionality-journal.org/for-authors/
The journal is officially online! Go to compositionality-journal.org to find out more about what to submit, our open call for editors, and other ways of getting involved.
It's been a crazy and amazing 2 weeks! Many interesting ideas to follow, lots of work (and even more reading) to do, but most importantly the crystallising of an Applied Category Theory community with a distinct identity out of a lot of disparate smaller groups and individuals
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 592 Following Created Quantum Picturalism, ZX-calculus, Categorical QM, Quantum NLP, DisCoCat/Circ, Quantum Guitar. Books: Quantum in Pictures & Picturing Quantum Processes.
Matteo Capucci @mattecapu
6K Followers 811 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
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]
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Aleks Kissinger @AleksKissinger
2K Followers 279 Following Assoc Prof of Quantum Computing. Co-author of Picturing Quantum Processes a.k.a. "the dodo book". Likes to teach, learn, prove, and calculate stuff w pictures.
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Edward Kmett @kmett
17K Followers 812 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 179 Following Categories, computer science and logic. @[email protected]
Chris Heunen @chrisheunen
478 Followers 90 Following computer scientist, mathematician, father, karateka, pianist
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
David Jaz Myers @myers_jaz
1K Followers 183 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Pawel Sobocinski @PawSob
1K Followers 800 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Jacques Carette @jjcarett2
2K Followers 947 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Owen Lynch @u_map_prop
578 Followers 112 Following This is no longer an active account: see https://t.co/g9E26Tj999 or @[email protected] for any updates.
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
~Poimandres~ @Hermes4669
8 Followers 383 Following
Moritz Schauer @MoritzSchauer
1K Followers 995 Following Statistician, Associate professor, Chalmers University of Technology and University of Gothenburg
Abel Jansma @Abelaer
992 Followers 1K Following Emergence and AI safety research || Research Scientist @emergenceDIEP and @Iliad_research
unruly abstractions @unrulyabstract
10 Followers 980 Following https://t.co/Gwjhi1Sfma all my failures are hopefully interesting
loūcr @LukasX65600723
7 Followers 190 Following
Alexandre Pasqualini @AlexandrePasqu7
386 Followers 4K Following Advogado, Professor, Presidente do Instituto Brasileiro de Altos Estudos de Direito Público - IBRAED, Coordenador-Geral da Revista Interesse Público
al glantz @GlantzAl
34 Followers 326 Following
Junche Yu @JuncheYu
0 Followers 19 Following
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Heitor Baldo @heitorbaldo
70 Followers 877 Following PhD @usponline | Affiliate Researcher @IGDOREinstitute | Postdoc Fellow @UniLeipzig @usponline
Kobie Williams @kadub_4
224 Followers 3K Following Internet guy, Engineer, Founder Likes/RT ≠ direct endorsement
Tim Lawson @tslwn
193 Followers 558 Following AI Scientist @MistralAI, PhD student @BristolUni. Prev Physics @Cambridge_Uni
Marie Kerjean @kerjean_marie
482 Followers 478 Following Computer Scientist, Researcher @LipnLab @CNRS. Logic and analysis, through semantics and formal proofs 🐓. She/her. Mother of two. 🐘 : @[email protected]
Sang Dao @SangDao811932
20 Followers 1K Following
Jeff Nickerson @jvnickerson
218 Followers 2K Following
ThereIsNoSmartContrac... @HSethv
3K Followers 1K Following Decentralized Computing & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives
Dr. Bernadette Stolz @StolzBernadette
619 Followers 852 Following Mathematician studying topology in biomedical data. Project leader @MPI_Biochem | Previously @EPFL & @OxUniMaths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow
cipherGarden @CipherGarden
166 Followers 162 Following
Amartya @ASD_Tnlocal
31 Followers 474 Following aka Ash/Redshift Website: https://t.co/gJiL8fNazm. Math, music and Philosophy.
ℂosmin Lehene @clehene
695 Followers 2K Following Apply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe).
toraritte @toraritte
130 Followers 2K Following I've become the old helicopter pilot from Explorers. (image credits: https://t.co/qAyZt4nk6s and @geciorkan)
Ignacio Lopez @nacho_lopez
42 Followers 420 Following
w @WeijerW
1 Followers 42 Following
King Faisal DH @KingFaisalDh
3 Followers 244 Following
Arturas V @ArturasVe
5 Followers 184 Following
Ben Grant @grothenfreaky
52 Followers 174 Following Ph.D. student in Mathematics, @UConn. B.A. Mathematics & Environmental Studies, @StOlaf. he/him/his
Scott McKuen @mckuens
140 Followers 3K Following Papercut Maximizer | Finance, math, software, data | Quantum hobbyist | Ex-hedge fund guy | He/him
bono @bono_ake_
158 Followers 3K Following
Vincent Wang-Maścian... @vinnylarouge
647 Followers 454 Following CS Dr. @ Oxford, aspirant friend of diagrams
asdf @asdf13947231
0 Followers 765 Following
LOL@TXwitterFASCIST @stphrolland
812 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
Luis Lopez @lopez_philos
627 Followers 932 Following Postdoctoral Researcher at the Munich Center for Mathematical Philosophy (MCMP) - LMU Munich.
/ @PerceptPrecept
0 Followers 49 Following
hEzo @hEzohEzo4
54 Followers 886 Following
Yoichiro Hasebe @yohasebe
684 Followers 2K Following Linguistics, AI, software, music. Projects for language research and education.
Yuriy S @y_solodkyy
208 Followers 1K Following
nrRNjkitRHmMP @RNjkit72037
0 Followers 4K Following I'm interested in category theory and machine learning.
Giuseppe Sartori @GiuseppeSarto19
121 Followers 2K Following Full professor of cognitive and forensic neuroscience . University of Padova . Italy
ChengKuan @kring818
10 Followers 258 Following
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 592 Following Created Quantum Picturalism, ZX-calculus, Categorical QM, Quantum NLP, DisCoCat/Circ, Quantum Guitar. Books: Quantum in Pictures & Picturing Quantum Processes.
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
Pawel Sobocinski @PawSob
1K Followers 800 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Derived memes for spe... @DerivedMemes
3K Followers 6 Following tmf is the connective cover of the global sections of the sheaf of E∞ ring spectra on the compactified moduli stack of elliptic curves
Statebox @statebox
2K Followers 152 Following Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires
PBS Infinite Series @PBSInfinite
6K Followers 188 Following A @PBSDS show about the world of mathematics. Written and hosted by Tai-Danae Bradley (@math3ma) and Gabe Perez-Giz (@fizziksgabe). Former host @kelseyahe.
Tai-Danae Bradley @math3ma
19K Followers 39 Following Ps. 148 • mathematician at SandboxAQ • blogger at Math3ma • visiting prof at TMU + Math3ma Institute: @math3ma_inst
Brad @bradtheilman
777 Followers 2K Following Neuroscientist (songbirds) Neuromorphic computing Cincinnati - San Diego - AlbuquerqueYou might like
