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: theory: applied category theory

Topic: formalizing ACT

Daniel Geisler (Jan 04 2022 at 05:25):

Reflecting on how to make ACT a viable force for good and it occurred to me that the concepts of ACT might be formalizable. Doesn't CTs current support of systems like thermodynamics and dynamics puts it close to being able to model ACT itself? Can the spread of CT be modeled by the work in epidemiology?

Fabrizio Genovese (Jan 04 2022 at 13:06):

Too many layers of meta for me! :stuck_out_tongue: