All Questions
1 question
7
votes
1
answer
1k
views
Encoding fuzzy logic with the topos of set-valued sheaves
One of the canonical examples used by Barr & Wells in order to motivate the use of topoi is that we can construct a theory for fuzzy logic and fuzzy set theory as set-valued sheaves on a poset (...
- 2,537