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:20):Hello all! This is the thread of discussion for the talk of Gioele Zardini, David I. Spivak, Andrea Censi and Emilio Frazzoli, "A Compositional Sheaf-Theoretic Framework for Event-Based Systems".
Date and time: Tuesday July 7, 17:10 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=Is5mWZcCVf0&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Gioele Zardini (Jul 07 2020 at 16:07):Link to the article: https://arxiv.org/pdf/2005.04715.pdf
eric brunner (Jul 07 2020 at 16:18):i do wish the italics printed as something other than boxes. it makes the paper version uselessly cryptic. S0032064.JPG
Paolo Perrone (Jul 07 2020 at 17:00):10 minutes!
Martti Karvonen (Jul 07 2020 at 17:17):I think the notation for the category could be very slightly simplified by declaring and composition to be .
Paolo Perrone (Jul 07 2020 at 17:20):Survey on event-based cameras (thanks Andrea Censi): https://arxiv.org/abs/1904.08405
James Fairbanks (Jul 07 2020 at 17:36):@Gioele Zardini What have you thought about systems with spatial extent rather than time?
Gioele Zardini (Jul 07 2020 at 17:42):@James Fairbanks That's something we are thinking about, also because it connects with resources in both time and space (something we would like to describe in co-design). I still have to understand how to do that though
Jon Aytac (Jul 07 2020 at 17:44):With regards to @James Fairbanks' question, Goldblatt gave a modal S4 for spacetime
Jon Aytac (Jul 07 2020 at 17:45):basically, consider presheaves over the Poincare monoid
Gioele Zardini (Jul 07 2020 at 17:46):Paolo Perrone said:
Survey on event-based cameras (thanks Andrea Censi): https://arxiv.org/abs/1904.08405
Also, go here to see some cool applications :) http://rpg.ifi.uzh.ch/research_dvs.html
Gioele Zardini (Jul 07 2020 at 17:46):eric brunner-williams (uoregon) said:
i do wish the italics printed as something other than boxes. it makes the paper version uselessly cryptic. S0032064.JPG
I'm sorry to see this, I actually have it printed and it looks the same as the digital version
Gioele Zardini (Jul 07 2020 at 17:54):Also, here are the slides: https://gzardini.github.io/ACT_Presentation_online.pdf
eric brunner (Jul 07 2020 at 18:04):as the author, it would be quite surprising if you couldn't read your own paper from your own printer. i won't bother you further.
Gioele Zardini (Jul 07 2020 at 18:20):Jon Aytac said:
With regards to @James Fairbanks' question, Goldblatt gave a modal S4 for spacetime
@Jon Aytac Interesting, do you have references?
Jon Aytac (Jul 07 2020 at 18:35):@Giole Zardini So, I looked at Goldblatt's paper and realized "higher order modal S4 internal to the topos of presheaves on the Poincare Monoid" is actually my own thought about building a higher order modal logic of spacetime (along the lines of our work here: http://www.cs.ox.ac.uk/ACT2019/preproceedings/Johnson-Freyd%20%20Jon%20Aytac%20and%20Geoffrey%20C.%20Hulette.pdf). Goldblatt's paper is here: (https://link.springer.com/content/pdf/10.1007/BF00370321.pdf). I had accidentally remembered my internal understanding of the thing as the thing.
Gioele Zardini (Jul 07 2020 at 19:10):Thank you very much, add on top of the reading list :)
Paolo Perrone (Jul 07 2020 at 22:41):Here's the video!
https://www.youtube.com/watch?v=bIFGXS-Gr1c&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
