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: engineering and CT


view this post on Zulip Georgios Bakirtzis (Dec 02 2021 at 10:51):

Our expository article for computer is now online https://ieeexplore.ieee.org/document/9622291/ Let me know of any comments the act community might have on it

view this post on Zulip John Baez (Dec 03 2021 at 20:54):

We have to have a subscription to IEEE journals to read it     \implies we won't get around to reading it.

view this post on Zulip John Baez (Dec 03 2021 at 20:56):

It sounds interesting - but do you have a more useful link, like an arXiv link?

view this post on Zulip Georgios Bakirtzis (Dec 05 2021 at 14:54):

Glad you asked https://arxiv.org/abs/2105.12911 do know there might be some minor differences between the published version and this one

view this post on Zulip John Baez (Dec 05 2021 at 17:21):

Thanks!