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: theory: category theory

Topic: AlgebraicJulia book


view this post on Zulip 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.

view this post on Zulip John Baez (May 07 2024 at 08:00):

I think this could be a really interesting book.

view this post on Zulip 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.

view this post on Zulip 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!