Do people think about [0,1] valued logic? i.e. make a topos where the interval is a subobject classifier?
"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.
-
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.