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.
Jules Hedges (Sep 27 2020 at 18:27):In case of interest, I just wrote a post on the Azimuth forum asking about possibilities of using compositional game theory in climate microeconomics (eg. modelling social dilemmas)
Jules Hedges (Sep 27 2020 at 18:27): Jules Hedges (Sep 27 2020 at 18:27):Category theory is (intentionally) far in the background here
John Baez (Oct 02 2020 at 22:15):Over there I said:
Hi, Jules Hedges Is it okay if I repost your post on the Azimuth Blog? It would get more readers there, and perhaps more helpful responses!
I think it's great you're trying this.
It'd actually be good to answer here, since I read this much more often than the Azimuth Forum these days!
Jules Hedges (Oct 03 2020 at 10:49):Yes... thank you!
Jules Hedges (Oct 03 2020 at 10:50):I've been a bit unsure what level of alive-ness the Azimuth forum is, but it seems to be at least somewhat alive
John Baez (Oct 03 2020 at 15:59):On the Azimuth Forum, David Tanzer has been talking to programmers about category theory, and Paul Pukite (=WebHubTel) has been studying models of El Nino and other climate cycles. I've been unable to get my students to embrace it, so we mainly talk on another Zulip.
John Baez (Oct 03 2020 at 16:00):I'll post your article on the Azimuth blog!
John Baez (Oct 03 2020 at 20:10):Your article is scheduled to appear on Monday, @Jules Hedges - that's usually good day, my impression is that lots of people go to work on Monday but read blog articles instead. (It may have changed due to coronavirus, but the weekends are still slower.)
Jules Hedges (Oct 03 2020 at 21:29):Thanks!
Jules Hedges (Oct 03 2020 at 21:30):It's a bit of a stretch to call a forum post an "article" though...
Christian Williams (Oct 03 2020 at 22:47):How do you run it?
Jules Hedges (Oct 04 2020 at 11:18):The tool? In its current state it's probably impossible to pick up without spending an hour or 2 on a zoom call with me. The first thing is: it's designed to be interacted with through ghci
John Baez (Oct 05 2020 at 20:38):You're getting questions and comments on the Azimuth blog, Jules:
John Baez (Oct 05 2020 at 20:39):David Wolpert is a good guy at the Santa Fe Institute.
Jules Hedges (Oct 05 2020 at 21:41):Yeah, time zones. I'll deal with them in the morning