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.
Christian Williams (Jan 22 2021 at 22:27):Hi all, we're about to submit a paper to LICS (so please look away if you might review).
I know it's a bit late, but I want to put a draft here for feedback.
lics.pdf (The applications section is not finished.) I really appreciate your thoughts.
John Baez (Jan 23 2021 at 16:59):It looks like you still have that problematic sublanguage where you rule out all identity morphisms because the identity is the diagonal followed by a projection.
John Baez (Jan 23 2021 at 17:21):Did you decide it made sense?
Christian Williams (Jan 23 2021 at 18:23):Yes, I'm replacing the sieve generated by (equivalent to the image ) with the secure image , so that you only exclude terms which you can only write using copying.
John Baez (Jan 23 2021 at 19:52):Oh, nice!