Fuzzy Type Theory for Opinion Dynamics
During the spring and summer of 2022, I participated in the Adjoint School 2022 as part of the Fuzzy Type Theory for Opinion Dynamics group headed by Paige North. So far this has resulted in a talk I gave and a blog post I helped write. We are planning on continuing this line of inquiry in the coming months. The link to the Adjoint School 2022 website can be found here.