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: community: our work

Topic: categorical computability book


view this post on Zulip dusko (Apr 13 2023 at 07:07):

the book "Programs as diagrams" is complete and in production. the good news is that the contract allows me to distribute 75% for free:
https://arxiv.org/abs/2208.03817
but it needs to be updated. the bad news is that the fun stuff (categorical gossips and degeneracies) are in the other 25%. i had mistakenly compiled the whole thing... and in the meantime had to fix it. ask me at dusko@hawaii.edu.

view this post on Zulip John Baez (Apr 15 2023 at 01:31):

That's strange. You mean you're not allowed to update the arXiv version to fix it?

view this post on Zulip John Baez (Apr 15 2023 at 01:32):

If I were you I'd just go ahead and fix it when nobody is looking, and not tell the world about it.

view this post on Zulip dusko (Apr 15 2023 at 02:29):

John Baez said:

That's strange. You mean you're not allowed to update the arXiv version to fix it?

no i can post on arxiv whatever i like, as long as it is not more than 75% of the book. but processing a new verision on arxiv takes like 10 min of processing and the computer starts shaking and smoking a little... i'll do it next week.

i meant to say that the arxiv version does not contain "stories" and "workouts" which might be more fun than the stuff that i did post. i have chosen to cut that out because "stories" contain most of the photos, and the current text is already above arxiv's size limit...

speaking of arxiv: is it me or are they a little in disarray? maybe trying to keep gpt-generated papers out? they introduced lots of moderators who don't seem to know what they are doing. someone rejected v4 of the book because "stories" and "workouts" were commented out, and "arxiv does not accept incomplete work". and i was saying in the abstract from the outset what was commented out. so i just commented out the titles as well. and another paper got held for crossreferencing for a week, and then released, but not returned in the queue. so i had to resubmit...

view this post on Zulip John Baez (Apr 15 2023 at 02:31):

no i can post on arxiv whatever i like, as long as it is not more than 75% of the book.

Hmm, too bad. I would never accept that.

view this post on Zulip John Baez (Apr 15 2023 at 02:31):

speaking of arxiv: is it me or are they a little in disarray?

I don't know!

view this post on Zulip Graham Manuell (Apr 15 2023 at 11:33):

I quite frequently have issues with the arXiv arbitrarily reassigning my papers to unrelated categories and refusing to fix this when I complain, but this has been a problem since before ChatGPT came out.