Category Theory
Zulip Server
Archive

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.

Stream: community: events

Topic: Applied Compositional Thinking for Engineers

view this post on Zulip John Baez (Dec 07 2020 at 20:36):

Hey! There's a new online course coming up, starting early in January:

view this post on Zulip John Baez (Dec 07 2020 at 20:56):

It's no coincidence that the acronym for "Compositional Thinking" is "CT".

view this post on Zulip Georgios Bakirtzis (Dec 07 2020 at 21:16):

It's probably no surprise but I am personally very excited about this :)

view this post on Zulip Evan Patterson (Dec 07 2020 at 21:31):

Yes, using "(applied) compositional thinking" as a less scary substitute for "(applied) category theory" is a good one. I'll have to remember that.