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.
I have started an entry on rewriting. It is just a stub for the moment.
I added a lin to an impressive reference from Tibor Beke, which he has sent me in 2007 and now is on his webpage. It is a categorification of an algorithm in rewriting systems, of relevance for type theory, computer science and with a very strong general coherence result contained in. Now when Mike, Toby and Urs are dragged into abstracies of type theory this might be a good moment to advertise a landmark Beke's work.
I have added new references. Note Newman’s paper which is very nice indeed.
A question, Tim. Is there any way in which rewriting and its higher dimensional friends be related to categorifications of Galois theory? Just wondering…
(Strange. I am sure that I replied to this question of David some hours ago????? )
What exactly are your intuitional-antennae suggesting? and which categorification of Galois theory?
Added more references from Guiraud and Malbos at the bottom.
Added a preprint reference from Sam Mimram.
1 to 7 of 7