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: Online CT seminar

Topic: June 12 1400 GMT -- Ryan Wisnesky -- Categorical Databases

view this post on Zulip Eric M Downes (Jun 05 2024 at 10:44):

Ryan is talking on .
For some background look here
(Third time is the charm? facepalm)

view this post on Zulip Morgan Rogers (he/him) (Jun 05 2024 at 10:45):

What's happening @Eric M Downes ? Should I delete previous attempts?

view this post on Zulip Eric M Downes (Jun 05 2024 at 10:46):

its too early for me to be creating topics is what! :/ yes please delete them like Strongbad deletes emails.

view this post on Zulip Jean-Baptiste Vienney (Jun 11 2024 at 22:38):

Reminder that this is tomorrow.

view this post on Zulip John Baez (Jun 12 2024 at 09:44):

It was tomorrow yesterday.

view this post on Zulip Jean-Baptiste Vienney (Jun 12 2024 at 13:55):

Starting in 5 minutes. Zoom link

view this post on Zulip Jean-Baptiste Vienney (Jun 12 2024 at 14:03):

Starting now!!!

view this post on Zulip Ryan Wisnesky (Jun 12 2024 at 15:38):

Thanks for coming, everyone. Here is a link to a discord server with CQL and related developers: https://discord.gg/8GTyq4GP (link valid for 1 week)

view this post on Zulip Ryan Wisnesky (Jun 12 2024 at 15:39):

And here are the slides:
lambdaconf.pdf

view this post on Zulip Eric M Downes (Jun 12 2024 at 15:42):

That was great Ryan! Thanks a bunch.

At some point you had an example with groups, both the syntactic category of the Lawvere theory, and also specific group presentations for like Q8Q_8 etc; would folks find that in your Getting Started Tutorial section or elsewhere?

view this post on Zulip Eric M Downes (Jun 12 2024 at 16:16):

(Recordings taking longer to process than usual; apologies for the delay -- will post later today when they have been uploaded.)

view this post on Zulip Ryan Wisnesky (Jun 12 2024 at 16:24):

Take a look at the "Cayley" example, "Cayley" tab for the Cayley graphs of Q8. For the groups and entropic groupoids etc, see the "KB" example. (KB being an abbreviation for 'Knuth Bendix': https://www.researchgate.net/publication/220460160_An_Introduction_to_Knuth-Bendix_Completion) Screenshot-2024-06-12-at-9.20.35AM.png

view this post on Zulip Eric M Downes (Jun 12 2024 at 19:03):

The video, audio, and slides for Ryan's talk are all uploaded to dropbox!