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.
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
We have to have a subscription to IEEE journals to read it we won't get around to reading it.
It sounds interesting - but do you have a more useful link, like an arXiv link?
Glad you asked https://arxiv.org/abs/2105.12911 do know there might be some minor differences between the published version and this one
Thanks!