Do people think about [0,1] valued logic? i.e. make a topos where the interval is a subobject classifier?
-
-
That sounds pretty cool.
-
"Hecke algebra diagrammatic" returns a number of things on g00g, there's the Drinfeld center of a modular tensor category. maybe the subobject classifier is an automorphic form or it's embedded in the space of automorphic forms.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.