Category Theory
Zulip Server
Archive

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.


Stream: event: ACT20

Topic: July 10: Bob Coecke et al.'s talk


view this post on Zulip Paolo Perrone (Jul 01 2020 at 20:32):

Hello all! This is the thread of discussion for the talk of Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi, Stefano Gogioso and Nicolò Chiappori, "Quantum Natural Language Processing".
Date and time: Friday July 10, 11:40 UTC.
Zoom meeting: https://mit.zoom.us/j/7488874897
YouTube live stream: https://www.youtube.com/watch?v=CNdgmTMMUuw&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Paolo Perrone (Jul 10 2020 at 11:28):

This talk will start in 12 minutes. Mind the "new" Zoom link: https://mit.zoom.us/j/7488874897

view this post on Zulip Jules Hedges (Jul 10 2020 at 11:54):

Learning a functor? @Bruno Gavranovic I wonder if this fits in the framework for learning functors in your MSc thesis?

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:00):

:clap:

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:00):

If you wondered, Konstantinos is the designer behind all the animations in the slide!

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:08):

And if you want more, he's also shared some of them on twitter! https://twitter.com/konstantinosmei/status/1265281987327201281

Animated process-theoretic proof that the meaning of life is arbitrary, and so it may as well be ice-cream. https://twitter.com/konstantinosmei/status/1265281987327201281/photo/1

- konstantinosmei (@konstantinosmei)

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:10):

Jules Hedges said:

Learning a functor? Bruno Gavranovic I wonder if this fits in the framework for learning functors in your MSc thesis?

Yes, I remember having a quick chat about this with Bruno last summer at ACT in Oxford.

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:11):

I think one application could be to learn pregroup grammars by translating pregroup axioms into soft constraints to a machine learning algorithm.

view this post on Zulip Alexis Toumi (Jul 10 2020 at 12:14):

That would be for the syntax side, I'm not sure whether the same framework could help for learning semantic functors. We don't have a finite presentation of language, but maybe we can try to learn one?

view this post on Zulip Paolo Perrone (Jul 10 2020 at 15:41):

Here's the video!
https://www.youtube.com/watch?v=b9ZyKSfutco&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI