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: deprecated: our papers

Topic: Operational Transform via Category Theory

view this post on Zulip David Espinosa (Aug 28 2023 at 09:12):

I recently posted a talk on YouTube on Operational Transform / Collaborative Editing via Category Theory:
https://www.youtube.com/playlist?list=PLZiHDWjqH6HPveBHtOEzZj2tQibcKvW-F

Slides in PDF:
https://drive.google.com/drive/folders/1qq0fVJor4hMNo2xLuonS53H6yKl4VHtx

I created a topic under #theory: concurrency so we can discuss it. Thanks !

view this post on Zulip David Espinosa (Aug 31 2023 at 10:33):

BTW, the talk contains a definition of commutative category.