The group around J. Baez has come up with a Zulip channel on Category Theory (https://categorytheory.zulipchat.com/). you may need an invitation to read it, but this is easy, just ask!
One of the conversations on this was about uses of category theory in Computer Science and a few answers were offered. You can see the discussion here. (https://categorytheory.zulipchat.com/#narrow/stream/229111-general/topic/Concrete.20CS-.3ECT.20storylines)
I felt that Categorical Logic was not getting its due share and tried to find a few old references. This is the list I came up with, but I'm painfully aware that lots are missing from this list too. Repeating it here to try to complete it as time goes by.
We're all biased, but my version of the early history of uses of Category Theory in Computer Science has many more projects/meetings/books than the ones already mentioned in the thread above.
Examples of things missing:
- Clearly a mathematician's perspective, the first AMS meeting I ever went to.CONM/092 Categories in Computer Science and Logic - John W. Gray and Andre Scedrov, Editors https://www.ams.org/books/conm/092/
- The sequence of meetings called CTCS (Categories in Computer Science)
- The two European projects CLiCS (Categorical Logic in Computer Science)
- All the TYPES projects and Working Groups use Category Theory for Computer ScienceThe internet can be very surprising on the things it keeps, the things that disappear. Below the opening page of Hypatia, a preprint server that disappeared without a trace. Above a picture of a tweet by Julia Goedecke, celebrating women mathematicians (I was chuffed, of course!).Google+ also had quite a lot if interesting mathematics, written in a light way. I hope people managed to preserve the stuff they were interested, but the worry right now is with the archives of the categories mailing list. Some of the discussion is zulip at https://categorytheory.zulipchat.com/#narrow/stream/229111-general/topic/Disappearing.20archives.