History of CT in CS: why not? Logic ForAll, 04 Jun 2020 The group around J. Baez has come up with a Zulip channel on Category Theory (https://categorytheory.zulipchat.com/). you may…