Wednesday, June 3, 2020

Finding things in the internet is hard


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: