Compositionality @compositional_j
open-access journal for compositional math and science compositionality-journal.org Joined April 2018-
Tweets17
-
Followers714
-
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
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 136 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Bruno Gavranović @bgavran3
9K Followers 922 Following Building structured neural networks using principles from category theory.
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 256 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[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
Aleks Kissinger @AleksKissinger
2K Followers 290 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.
Edward Kmett @kmett
16K Followers 823 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 184 Following Categories, computer science and logic. @[email protected]
Chris Heunen @chrisheunen
483 Followers 97 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
Pawel Sobocinski @PawSob
1K Followers 802 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 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Owen Lynch @u_map_prop
603 Followers 113 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 259 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Eigil Fjeldgren Risch... @Ayegill
2K Followers 541 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
unruly abstractions @unrulyabstract
10 Followers 527 Following https://t.co/Gwjhi1Sfma all my failures are hopefully interesting
loūcr @LukasX65600723
8 Followers 182 Following
Giosuè Baggio @giosuebaggio
2K Followers 2K Following Cognitive scientist @NTNU · Author of ‘Meaning in the Brain’ and ‘Neurolinguistics’ @mitpress · “(…) ita res accendent lumina rebus.” (Lucretius)
Alexandre Pasqualini @AlexandrePasqu7
388 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
43 Followers 287 Following
Junche Yu @JuncheYu
0 Followers 20 Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Heitor Baldo @heitorbaldo
73 Followers 874 Following PhD in Bioinformatics @usponline | Affiliate Researcher @IGDOREinstitute | Postdoctoral Fellow @UniLeipzig @usponline
Kobie Williams @kadub_4
275 Followers 3K Following Internet guy, Artist, Engineer, Founder Tech, biz, memes “It’s not when you come, it’s how hard you come” -Doris Burke Likes/RT ≠ direct endorsement
Tim Lawson @tslwn
161 Followers 451 Following AI PhD student @BristolUni, Physics MSci @Cambridge_Uni
Marie Kerjean @kerjean_marie
494 Followers 488 Following Computer Scientist, Researcher @LipnLab @CNRS. Logic and analysis, through semantics and formal proofs 🐓. She/her. Mother of two. 🐘 : @[email protected]
Sang Dao @SangDao811932
104 Followers 1K Following
Jeff Nickerson @jvnickerson
211 Followers 1K Following
ThereIsNoSmartContrac... @HSethv
3K Followers 1K Following DLTs, Decentralized Computing, & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives
Dr. Bernadette Stolz @StolzBernadette
610 Followers 860 Following Mathematician studying topology in biomedical data. Project leader @MPI_Biochem | Previously @EPFL & @OxUniMaths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow
cipherGarden @CipherGarden
180 Followers 161 Following
Cosmin Lehene @clehene
704 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
148 Followers 2K Following I've become the old helicopter pilot from Explorers. (image credits: https://t.co/qAyZt4nk6s and @geciorkan)
Ignacio Lopez @nacho_lopez
61 Followers 387 Following
w @WeijerW
1 Followers 42 Following
King Faisal DH @KingFaisalDh
4 Followers 249 Following
Arturas V @ArturasVe
6 Followers 185 Following
Pinned @kha448053853552
0 Followers 1K Following
Ben Grant @grothenfreaky
56 Followers 182 Following Ph.D. student in Mathematics, @UConn. B.A. Mathematics & Environmental Studies, @StOlaf. he/him/his
Scott McKuen @mckuens
142 Followers 3K Following Papercut Maximizer | Finance, math, software, data | Quantum hobbyist | Ex-hedge fund guy | He/him
Vincent Wang-Maścian... @vinnylarouge
636 Followers 418 Following CS Dr. @ Oxford, aspirant friend of diagrams
asdf @asdf13947231
0 Followers 587 Following
LOL@TXwitterFASCIST @stphrolland
880 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
634 Followers 903 Following Postdoctoral Researcher at the Munich Center for Mathematical Philosophy (MCMP) - LMU Munich.
/ @PerceptPrecept
0 Followers 50 Following
hEzo @hEzohEzo4
63 Followers 878 Following
Yoichiro Hasebe @yohasebe
698 Followers 2K Following 🧑💻 My interests ➡️ 🗣 Linguistics | 🧠 Cognition | 🔎 Corpora | 📝 Programming | ⌨️ Vim | 💭 Productivity | 🎧 HR/HM 🛠️ My products ➡️ https://t.co/99NghPsBiB
Yuriy S @y_solodkyy
219 Followers 1K Following
nrRNjkitRHmMP @RNjkit72037
0 Followers 2K Following I'm interested in category theory and machine learning.
Giuseppe Sartori @GiuseppeSarto19
154 Followers 1K Following Full professor of cognitive and forensic neuroscience . University of Padova . Italy
ChengKuan @kring818
11 Followers 262 Following
julesh @_julesh_
10K Followers 136 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
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 802 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 155 Following Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires
PBS Infinite Series @PBSInfinite
6K Followers 191 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
20K Followers 40 Following Ps. 148 • mathematician at SandboxAQ • blogger at Math3ma • visiting prof at TMU + Math3ma Institute: @math3ma_inst
Brad @bradtheilman
753 Followers 2K Following Neuroscientist: neuromorphic computing, songbirds, applied topology Cincinnati - San Diego - Albuquerque KD6UCTrends for United States
You might like
