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.
John Baez (Apr 30 2020 at 16:36):This is basic but not a question, just a nice explanation of the meaning of ! and ? in linear logic, by Sofia on Twitter:
if someone gives you !A, you can take as many A or as few A as you like.
if you produce !A, then you have an obligation to produce as many A as someone else needs
if someone gives you ?A, then you have an obligation to receive as many A as someone else provides
if you produce ?A, then you can produce as many A or as few A as you like
!a is on-demand ?a is on-supply https://twitter.com/typeswitch/status/1255875666995810312
- Sofia 🧹 (@typeswitch) sarahzrf (May 01 2020 at 04:28):oh, i saw that on twitter earlier
sarahzrf (May 01 2020 at 04:29):and i was tempted to post something id written, and i think now i might give into that temptation, hold on
sarahzrf (May 01 2020 at 04:32):so here's a cool paper about curry-howard'd linear logic computational_linear.pdf
sarahzrf (May 01 2020 at 04:33):and here's an unfinished essay i wrote that attempts to reframe the language in it on its own terms (in theory readable w/o needing to have seen the paper above) main.pdf
sarahzrf (May 01 2020 at 04:34):some of it is probably pretty incomprehensible, but i've gotten kind of attached to this subject/object metaphor i use throughout it—i think it's a nice way of looking at things
sarahzrf (May 01 2020 at 04:34):at the very least, i think the first big section on duality is probably readable
sarahzrf (May 01 2020 at 04:37):heres how i described the exponentials
image.png
image.png
