Chris
Basically, you make types fuzzy by lifting Boolean logic to intervals through Enriched Category Theory
https://www.youtube.com/live/ql_hrkv6g_g?feature=share
Paige North: "Fuzzy type theory"

YouTube
Mar 28, 2023 at 11:27pmWeb
Show threadChrisMar 28, 2023
The result is like friend of a friend schemes, but rigorous and generalized for any opinion space