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 (May 07 2024 at 07:59):I just heard that Priyaa Varshinee, Sophie Libkind, Angeline Aguinaldo, Nelson Niu and Paul Dancstep at the Topos Institute are writing an introduction to AlgebraicJulia, which will apparently also be an introduction to the category theory concepts used in AlgebraicJulia. Apparently this book in progress is available online somewhere, but I don't know where.
John Baez (May 07 2024 at 08:00):I think this could be a really interesting book.
Kevin Carlson (May 07 2024 at 17:58):I know where it is but I'm not sure whether they want it shared yet. I'll check if Priyaa isn't successfully summoned here.
Benjamin Merlin Bumpus (he/him) (May 12 2024 at 23:49):Oh that sounds wonderful: student's have asked for something like this a few times, so I'd love to have a self-contained reference to point to!
Nelson Niu (Jul 19 2024 at 07:05):I stumbled upon this thread today entirely by accident and would like to clarify that I had nothing to do with writing this book—not sure how that rumor got started. That said, it looks to be an excellent book, and I do know that you can find it here: https://toposinstitute.github.io/RelationalThinking-Book/
Tim Hosgood (Jul 19 2024 at 13:34):and you can read Priyaa's story about writing it in the blog posts here, here, and here