Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Thomas Holder is busy creating Hegelian taco as I write.
I do wonder if we should cite Burritos for the hungry mathematician, by Ed Morehouse p46 of http://sigbovik.org/2015/proceedings.pdf (as ’in popular culture’? ;-P)
We should include that picture that you, David R., showed on g+, explaining the name ’taco’.
Unfortunately, type-setting the taco took so long that I haven’t found the time until now to give public warning here that the multiplication table there is still longing very much for an automated proof checker (or an attentive reader).
The underlying configuration of adjoint modalities might also find smoother expression with the help of some of the n-adjoint modal logicians here.
Hegel has some strange birthday gifts this year: math encyclopedia entry on a taco, rap album…
@David C : I agree, though perhaps just the actual diagram, with the text quoted nearby. I should thank John B for supplying me with the article; I was hesitant to do so in a more public venue.
EDIT: I just went and pasted in the picture as I put in on G+. If someone else wants to pretty it up then go ahead.
I would be most grateful if anyone can share the 1989 taco paper… I can be reached here (scr.im email address link). Thanks!
Could someone add examples on this page? It is really quite exciting, but I am trying to understand some examples, from either ontology or mathematics.
Here are some monad comonad pairs (adjoint cylinders):
provable that x, not provable that not x
knowable that x, not knowable that not x (functoriality is a bit like modus ponens, counit is facticity, the multiplication says that knowable x -> knowable knowable x, which is perhaps disputable)
possible, necessary
sometimes, always
exists, forall
Do these adjoint cylinders produce tacos on their corresponding categories?
1 to 11 of 11