Joachim's web pages
Feynman graphs, and nerve theorem for compact symmetric
multicategories (extended abstract)
By André Joyal and Joachim Kock
To appear in the proceedings of the "Quantum Physics and Logic VI"
(Oxford 2009), Electronic Notes in Theoretical Computer Science.
We describe a category of Feynman graphs and show how it relates to compact
symmetric multicategories (coloured modular operads) just as linear orders
relate to categories and rooted trees relate to multicategories. More
specifically we obtain the following nerve theorem: compact symmetric
multicategories can be characterised as presheaves on the category of Feynman
graphs subject to a Segal condition.
This text is a write-up of the second-named author's QPL6 talk;
a more detailed account of this material will
Last updated: 2010-02-20 by