English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
compositional_j's profile picture. open-access journal for compositional math and science

Compositionality

@compositional_j

open-access journal for compositional math and science

17Posts 708Followers 10Following
You might like
compositional_j's profile picture.
Compositionality
 @compositional_j
May 18, 2023

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…

0
1
3
3
838
compositional_j's profile picture.
Compositionality
 @compositional_j
Jan 10, 2023

Our first issue of 2023: "Toposes of topological monoid actions" by Morgan Rogers. Read it at compositionality-journal.org/papers/composi…

0
7
20
8
3K
compositional_j's profile picture.
Compositionality
 @compositional_j
Dec 30, 2022

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…

0
5
18
4
2K
compositional_j's profile picture.
Compositionality
 @compositional_j
Nov 30, 2021

New paper published! "Language modeling with reduced densities", by @math3ma and Yiannis Vlassopoulos. Read it here: compositionality-journal.org/papers/composi…

1
5
28
4
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Sep 7, 2021

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

0
7
20
3
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Oct 17, 2020

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

1
7
18
2
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Sep 1, 2020

Just published: "Closing the category of finitely presented functors under images made constructive" by Sebastian Posur. Read it at compositionality-journal.org/papers/composi…

0
2
8
1
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Aug 26, 2020

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

1
3
5
1
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Aug 11, 2020

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…

0
4
22
4
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Jul 28, 2020

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…

1
12
39
4
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Jun 3, 2020

Vol. 2, Issue 2! Michael Robinson on "Assignments to sheaves of pseudometric spaces." Read it at compositionality-journal.org/papers/composi…

0
1
5
0
0
compositional_j's profile picture.
Compositionality
 @compositional_j
May 28, 2020

New paper published! Eugenia Cheng on "Distributive laws for Lawvere theories." Read it at compositionality-journal.org/papers/composi….

0
5
14
1
0
compositional_j's profile picture.
Compositionality
 @compositional_j
Aug 24, 2018

Compositionality is now open for submissions to our first issue. To submit a manuscript, please visit compositionality-journal.org/for-authors/

0
6
14
0
0
compositional_j's profile picture.
Compositionality
 @compositional_j
May 7, 2018

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.

0
2
9
1
0
Compositionality reposted
_julesh_'s profile picture.
julesh
 @_julesh_
May 4, 2018

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

0
1
6
0
0
coecke's profile picture. Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

bOb cOeCke

@coecke
mattecapu's profile picture. 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci

@mattecapu
EgbertRijke's profile picture. Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

Egbert Rijke

@EgbertRijke
AlexisToumi's profile picture. If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @AlexisToumi@mathstodon.xyz

alexis.toumi

@AlexisToumi
davidad's profile picture. Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇

@davidad
PaoloPMath's profile picture. Mathematician & math teacher.

Paolo Perrone

@PaoloPMath
JadeMasterMath's profile picture. Mathematics is fun

Category Witch

@JadeMasterMath
AleksKissinger's profile picture. 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.

Aleks Kissinger

@AleksKissinger
valeriadepaiva's profile picture. Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

Dr Valeria dePaiva

@valeriadepaiva
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
StringDiagram's profile picture. Categories, computer science and logic. @stringdiagram@mathstodon.xyz

Dan Marsden

@StringDiagram
chrisheunen's profile picture. computer scientist, mathematician, father, karateka, pianist

Chris Heunen

@chrisheunen
evanewashington's profile picture. phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Evan Washington

@evanewashington
myers_jaz's profile picture. Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.

David Jaz Myers

@myers_jaz
PawSob's profile picture. Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).

Pawel Sobocinski

@PawSob
rwolffoot's profile picture. boxes-and-wires scientist

Robin Piedeleu

@rwolffoot
jjcarett2's profile picture. Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Jacques Carette

@jjcarett2
u_map_prop's profile picture. This is no longer an active account: see https://t.co/g9E26Tj999 or @olynch@mathstodon.xyz for any updates.

Owen Lynch

@u_map_prop
jer_gib's profile picture. Christian, functional programmer, bass player, increasingly absent-minded prof. Also @jer_gib@types.pl

Jeremy Gibbons

@jer_gib
Ayegill's profile picture. @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head

Eigil Fjeldgren Rischel - abstr/acc

@Ayegill
Abelaer's profile picture. Emergence and compositionality in complex and living systems || Fellow @emergenceDIEP, University of Amsterdam || prev at MPI Leipzig & Un. of Edinburgh

Abel Jansma

@Abelaer
unrulyabstract's profile picture. https://t.co/Gwjhi1Sfma all my failures are hopefully interesting

unruly abstractions

@unrulyabstract
yosiokayosio's profile picture. I want to be a madscientist & a popstar⭐👽

よしお🌗

@yosiokayosio
LukasX65600723's profile picture.

loūcr

@LukasX65600723
giosuebaggio's profile picture. Cognitive scientist @NTNU · Author of ‘Meaning in the Brain’ and ‘Neurolinguistics’ @mitpress · “(…) ita res accendent lumina rebus.” (Lucretius)

Giosuè Baggio

@giosuebaggio
AlexandrePasqu7's profile picture. Advogado, Professor, Presidente do Instituto Brasileiro de Altos Estudos de Direito Público - IBRAED, Coordenador-Geral da Revista Interesse Público

Alexandre Pasqualini

@AlexandrePasqu7
GlantzAl's profile picture.

al glantz

@GlantzAl
JuncheYu's profile picture.

Junche Yu

@JuncheYu
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

José A. Alonso

@Jose_A_Alonso
heitorbaldo's profile picture. PhD in Bioinformatics @usponline | Affiliate Researcher @IGDOREinstitute | Postdoctoral Fellow @UniLeipzig @usponline

Heitor Baldo

@heitorbaldo
screentellect's profile picture. Technology and web development.

screentellect

@screentellect
kadub_4's profile picture. 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

Kobie Williams

@kadub_4
tslwn's profile picture. AI Scientist Intern @MistralAI, PhD student @BristolUni. Prev Physics @Cambridge_Uni

Tim Lawson

@tslwn
kerjean_marie's profile picture. Computer Scientist, Researcher @LipnLab @CNRS. Logic and analysis, through semantics and formal proofs 🐓. She/her. Mother of two. 🐘 : @mkerjean@lipn.info

Marie Kerjean

@kerjean_marie
SangDao811932's profile picture.

Sang Dao

@SangDao811932
jvnickerson's profile picture.

Jeff Nickerson

@jvnickerson
HSethv's profile picture. DLTs, Decentralized Computing, & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives

ThereIsNoSmartContract

@HSethv
StolzBernadette's profile picture. Mathematician studying topology in biomedical data. Project leader @MPI_Biochem | Previously @EPFL & @OxUniMaths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow

Dr. Bernadette Stolz

@StolzBernadette
aziemchawdhary's profile picture. Program Analysis Geek

Aziem Chawdhary

@aziemchawdhary
CipherGarden's profile picture.

cipherGarden

@CipherGarden
ASD_Tnlocal's profile picture. aka Ash/Redshift Website: https://t.co/gJiL8fNazm. Math, music and Philosophy.

Amartya

@ASD_Tnlocal
clehene's profile picture. Apply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe).

ℂosmin Lehene

@clehene
toraritte's profile picture. I've become the old helicopter pilot from Explorers. (image credits: https://t.co/qAyZt4nk6s and @geciorkan)

toraritte

@toraritte
nacho_lopez's profile picture.

Ignacio Lopez

@nacho_lopez
saliherdemkocak's profile picture. @UniBogazici cmpe & math

erdem

@saliherdemkocak
WeijerW's profile picture.

w

@WeijerW
KingFaisalDh's profile picture.

King Faisal DH

@KingFaisalDh
ArturasVe's profile picture.

Arturas V

@ArturasVe
krufttt's profile picture. Shiiiiieeeeeeeeet

kruft

@krufttt
grothenfreaky's profile picture. Ph.D. student in Mathematics, @UConn. B.A. Mathematics & Environmental Studies, @StOlaf. he/him/his

Ben Grant

@grothenfreaky
mckuens's profile picture. Papercut Maximizer | Finance, math, software, data | Quantum hobbyist | Ex-hedge fund guy | He/him

Scott McKuen

@mckuens
bono_ake_'s profile picture. Researcher/occasional spinner🔄

bono

@bono_ake_
BRosenwaldd's profile picture. Learner! not active

.

@BRosenwaldd
vinnylarouge's profile picture. CS Dr. @ Oxford, aspirant friend of diagrams

Vincent Wang-Maścianica

@vinnylarouge
asdf13947231's profile picture.

asdf

@asdf13947231
stphrolland's profile picture. 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 !!

LOL@TXwitterFASCIST

@stphrolland
f_aezs's profile picture. The Law is a topos.

Faez Shakil

@f_aezs
_________569571's profile picture. 🔻☭🔻| 🇵🇸| Solarpunk ☭𖤓☭

⟑.rar

@_________569571
lopez_philos's profile picture. Postdoctoral Researcher at the Munich Center for Mathematical Philosophy (MCMP) - LMU Munich.

Luis Lopez

@lopez_philos
PerceptPrecept's profile picture.

/

@PerceptPrecept
hEzohEzo4's profile picture.

hEzo

@hEzohEzo4
yohasebe's profile picture. 🧑‍💻 My interests ➡️ 🗣 Linguistics | 🧠 Cognition | 🔎 Corpora | 📝 Programming | ⌨️ Vim | 💭 Productivity | 🎧 HR/HM 🛠️ My products ➡️ https://t.co/99NghPsBiB

Yoichiro Hasebe

@yohasebe
y_solodkyy's profile picture.

Yuriy S

@y_solodkyy
cqyjcyu's profile picture. 27.

cqyjc

@cqyjcyu
RNjkit72037's profile picture. I'm interested in category theory and machine learning.

nrRNjkitRHmMP

@RNjkit72037
SA76605823's profile picture. Description.

SA

@SA76605823
Hrd1620's profile picture. from Oz

CowardlyLion

@Hrd1620
GiuseppeSarto19's profile picture. Full professor of cognitive and forensic neuroscience . University of Padova . Italy

Giuseppe Sartori

@GiuseppeSarto19
kring818's profile picture.

ChengKuan

@kring818

United States Trends

You might like

Something went wrong.


Something went wrong.