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 (Dec 09 2020 at 01:20):Hi all!
This is the thread for Evan Patterson's talk, "(Co)relational computing in Catlab: The operad of UWDs and its algebras"
When: Thursday December 10th, 12:00 noon EST (Boston time)
Zoom meeting:
https://mit.zoom.us/j/280120646
Meeting ID: 280 120 646
Youtube live stream:
https://youtu.be/NjCPZXOeH4c
Paolo Perrone (Dec 10 2020 at 16:45):Hello all! We start in 15 minutes.
Eric Forgy (Dec 10 2020 at 17:50):Bravo! :tada: That was awesome Evan :clap: :clap: :clap:
Brian Pinsky (Dec 10 2020 at 17:55):It was mentioned this seminar will be moving to the topos institute next year. Will you be continuing to stream it on the same youtube channel?
Paolo Perrone (Dec 10 2020 at 17:56):We don't know yet, things are still being set up. We'll keep you updated!
Eric Forgy (Dec 10 2020 at 17:56):@Valeria de Paiva Regarding "Why Julia?"
Another thing to add is Julia is naturally "compositional" due to multiple dispatch so in addition to being able to define your own custom types (which many languages can do), it also allows you to work naturally with the rest of the Julia ecosystem. For example, Evan and the Catlab crew can easily plug into the DifferentialEquations ecosystems and the plotting ecosystem. Julia makes it simple to extend other packages without needing access to the internals of those packages.
Edit: This is a great references video: The Unreasonable Effectiveness of Multiple Dispatch
Valeria de Paiva (Dec 10 2020 at 18:40):Thanks for jumping in @Eric Forgy ! as far as I"m concerned all the languages we're discussing (or likely to discuss) are "compositional" -- more or less. and the Julia ecosystem is relatively new, so not by itself a selling point. so the question could be sharpened as what makes it simple for Julia " to extend other packages without needing access to the internals of those packages", and the reference you've added might just answer it. I will check it, but I also liked Evan's answer!
Eric Forgy (Dec 10 2020 at 18:46):Yeah, "compositional" isn't the real selling point. It is hard to imagine a language that isn't compositional :blush: The point is multiple dispatch and the video does a good job explaining why this is special in Julia :blush:
A bit more technically, you can say Julia solves the expression problem.
Valeria de Paiva (Dec 10 2020 at 18:59):Well, while I'm here might as well send a SHOUT-OUT to @Paolo Perrone for the great job with the MIT Seminar!!
Many thanks Paolo! :tada:
Evan Patterson (Dec 10 2020 at 19:01):Likewise, thank you Paolo for your heroic effort in running the seminar!
Matteo Capucci (he/him) (Dec 10 2020 at 20:46)::clap: thank you @Paolo Perrone
Paolo Perrone (Dec 10 2020 at 21:11):Thank you all for participating! While I have been the front face of the seminar this year, let's not forget that behind the scenes there's also the work of Brendan Fong and David Spivak!
Paolo Perrone (Dec 10 2020 at 21:11):Video here, by the way:
https://youtu.be/MgJNqOxiSec
Rich Hilliard (Dec 11 2020 at 00:43):So is applied category theory exiting MIT? Is anyone left?
John Baez (Dec 11 2020 at 01:47):David Spivak and Brendan Fong are leaving MIT to set up the Topos Institute, so I think applied category theory is leaving MIT. And I'm retiring in June! So, grad students wanting to do applied category theory will have a bit more of a challenge doing it in the US.
Evan Patterson (Dec 11 2020 at 05:58):Slides for the talk are posted here: https://www.algebraicjulia.org/assets/slides/mit-seminar-2020/