Fuzzy Type Theory - From Martin-Löf to Fuzzy Sets

Explore a Topos Institute Colloquium talk that delves into the development of fuzzy type theory, a project originating from the ACT 2022 Adjoint School. Learn how this innovative approach aims to model opinions by generalizing Martin-Löf type theory, where fuzzy terms provide evidence for opinions with parametric values indicating the degree of validity. Understand the relationship between type theory and category theory, discovering how fuzzy type theory corresponds to categories enriched in fuzzy sets, similar to how Martin-Löf type theory corresponds to categories enriched in sets. Developed through collaborative research with Shreya Arya, Greta Coraglia, Sean O'Connor, Hans Riess, and Ana Tenório, gain insights into this mathematical framework that bridges the gap between traditional type theory and fuzzy logic.