You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Paolo Perrone (Jul 02 2020 at 02:12):Hello all! This is the thread of discussion for the talk of Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni and Gijs Wijnholds, "Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality".
Date and time: Wednesday July 8, 11:00 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=AaaoUxUx-SQ&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Paolo Perrone (Jul 08 2020 at 10:35):Hello all! We start in 25 minutes.
Georgios Bakirtzis (Jul 08 2020 at 11:33):I’m curious about how you code up all this theory on the first part of the talk and how it relates to cosine similarity, which I might have missed
Paolo Perrone (Jul 08 2020 at 15:39):Here's the video!
https://www.youtube.com/watch?v=A2U9yq9snYk&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
Alexis Toumi (Jul 09 2020 at 10:09):Hey Lachlan & Hadi, thanks for the talk! I remember Mehrnoosh saying in the zoom chat that the code was not open sourced yet, is it gonna be at some point?
Alexis Toumi (Jul 09 2020 at 10:11):It would be super exciting to use DisCoPy to implement some future experiments, we could work together on defining Lambek Calculus in terms of diagrams, then monoidal functors to numpy would handle all the computation.