How to Fuzz Up a Type Theory
Date:
During the Applied Category Theory 2023 conference, I presented a poster detailing the results of a year of continued research from my “Fuzzy Type Theory for Opinion Dynamics” group from the Adjoint School 2022, headed by Paige North. This poster can be found below, and it details our strategy of determining the form of an “enriched dependent type theory” by enriching the categorical semantics of dependent type theory and reading out the resulting syntax.