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.
James Fairbanks (Mar 23 2020 at 17:49):I made this channel to talk about versions CT software. I’m working with a tool called Catlab.jl right now. It’s pretty cool!
Caleb Foong (Mar 23 2020 at 17:50):Catlab.jl looks cool. It give me more reason to learn Julia
Johannes Drever (Mar 24 2020 at 17:42):A topic on functional programming and type theory would be very interesting. I'm specifically interested on functional reactive programming and CT, e.g. what Conal Elliot is doing. Is this stream for software used to do CT or software in general?
Nathanael Arkor (Mar 24 2020 at 17:44):I think the intention was that it was category theory-focused software
James Fairbanks (Mar 24 2020 at 17:44):I was thinking that software at least somewhat related to CT, but taking a pretty broad interpretation
James Fairbanks (Mar 24 2020 at 17:45):so gripes about powerpoint would be off topic, but anything involving what Conal Elliot is doing would be on topic
Fabrizio Genovese (Mar 24 2020 at 17:50):Research in functional programming and CT is very broad tho. You may probably want to create a new stream for that, with many different substreams.
Jules Hedges (Mar 24 2020 at 17:58):Yes, a stream for FP sounds like a good idea