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!
1 to 7 of 7