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:06):Hello all! This is the thread of discussion for the poster session. More information will appear soon.
Date and time: Wednesday July 8, 20:00 UTC.
Aleksandar Makelov (Jul 04 2020 at 23:45):Hi everyone, I'm a newcomer to the applied category theory community! :) I'm
coming from a pure math / theoretical computer science / machine learning
background, and I will be presenting a paper titled "Towards an algebraic model
of data science workflows" as part of the poster session.
The paper's focus is not on proving new theorems (as much fun as it is), but
rather on an examination of a variety of technologies enabling data science
applications, and the design objectives and constraints behind them. As someone
practicing ML engineering, I believe that the friction between these
technologies is a major source of programmer inefficiency. To this end, the
paper proposes ways in which this friction can be reduced by a unifying model
quite close in spirit to the functorial model of data and ontology logs. I am
currently planning an open-source implementation of such a model.
Unfortunately, the version of the paper submitted originally to ACT2020 was...
less than understandable :) and some key definitions were misinterpreted in the
review process. However, the new version has many more clarifications, examples,
and figures (it also ended up being substantially longer). If any of this sounds
interesting, feel free to get in touch with me here or at amakelov@mit.edu. And
finally, here is the paper: https://amakelov.github.io/data/act2020/paper.pdf.
Aleksandar Makelov (Jul 08 2020 at 12:50):and here is the poster for the poster session later today/tonight/in time: https://amakelov.github.io/data/act2020/poster.pdf
John Baez (Jul 08 2020 at 18:13):Here is more information on the poster presentations:
https://docs.google.com/spreadsheets/d/1er96CxPX20tG08OyPbaVwWtqjR8ZCs_hSfAunQe1sYM/edit#gid=0
Julio Song (Jul 08 2020 at 19:53):Hi! I'm presenting a poster about my application of category theory in theoretical linguistics. Here is my virtual poster: https://www.juliosong.com/doc/act2020poster/poster.html , and here is the Jitsi chat room where you can find me in a while: https://meet.jit.si/ACT2020-Song :-)
Paolo Perrone (Jul 08 2020 at 19:57):If you want to know more about the ACT School, this is the room! https://meet.jit.si/ACT2020-School
Jorge Soto-Andrade (Jul 08 2020 at 20:47):Dear all: Just in case, the link to our poster session room in ZOOM as given in the spread sheet is incomplete
The complete link should read
https://uchile.zoom.us/j/81843680903?pwd=aytRaHJtRGlHeXdNajBIWGhLbk13Zz09
Some sly people succeeded to enter the room using the link in our page
categoricalouroboros.wordpress.com
Sorry about that
JSA
Eduardo Ochs (Jul 08 2020 at 21:04):Here is a version of @Jorge Soto-Andrade's paper (I'm not sure if it is the last one): sotoandrade__act2020_extended_abstract.pdf
Maria (Jul 08 2020 at 22:48):Hi! Poster session was interesting, with a lot of insightful questions and comments :) I'll be traveling tomorrow, but I'll be glad to be in touch via email! :)
ADITTYA CHAUDHURI (Jul 09 2020 at 05:29):Maria said:
Hi! Poster session was interesting, with a lot of insightful questions and comments :) I'll be traveling tomorrow, but I'll be glad to be in touch via email! :)
Thank you very much for the explanation during the Poster session.
Jorge Soto-Andrade (Jul 09 2020 at 14:50):Hi everyone! Since some more people seem to have had trouble joining our Ouroboros room yesterday because of the incomplete link in the poster spreadsheet (our mistake), we decided - just in case - to re open our Ouroboros zoom room, as of now.
The current link is :
https://uchile.zoom.us/j/84192793550?pwd=UzJVKzVTWHV6MVdHVktSTWF0WDFjZz09
The complete link that you find now in the poster spreadsheet is no longer valid.
We will also update the zoom link in our categoricalouroboros.wordpress.com page where we will be also hanging more related papers.
Of course interested people can also contact us here.
Have a nice day !
Jorge Soto-Andrade (Jul 09 2020 at 15:23):PS One of us will be there, just in case, and the chime will be on, until 20 00 UTC or so...
Jorge Soto-Andrade (Jul 09 2020 at 15:36):Maria said:
Hi! Poster session was interesting, with a lot of insightful questions and comments :) I'll be traveling tomorrow, but I'll be glad to be in touch via email! :)
Which is your best email?
xavier (mathematical artist) (Jul 09 2020 at 15:39):@Jorge Soto-Andrade , I couldn't get into your video chat yesterday.
Jorge Soto-Andrade (Jul 09 2020 at 16:51):Sorry about that. We opened up a new zoom room whose link is given above (with pwd now), just in case that somebody wants to come, until 20 00 UTC.
Maria (Jul 09 2020 at 21:07):