Do people think about [0,1] valued logic? i.e. make a topos where the interval is a subobject classifier?
-
-
Replying to @JadeMasterMath
I think about logic with a modular form on the unit disc as the subobject classifier, but I'm a bit of a lunatic. (The Aymara language has a three valued logic)
1 reply 0 retweets 4 likes -
-
Replying to @JadeMasterMath
"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 reply 0 retweets 0 likes
I made this a few years ago: https://youtu.be/0bSfuwDAxEQ and the thought was /this is reminiscent of one of pair of pants cobordisms those things one sees in diagrammatic algebra papers/, and that's all I have.
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.