%A Joachim Kock %T Combinatorial Dyson–Schwinger equations and inductive data type %0 Journal Article %D 2016 %J Front. Phys. %J Frontiers of Physics %@ 2095-0462 %R 10.1007/s11467-015-0544-3 %P 111205- %V 11 %N 3 %U {https://journal.hep.com.cn/fop/EN/10.1007/s11467-015-0544-3 %8 2016-06-08 %X

The goal of this contribution is to explain the analogy between combinatorial Dyson–Schwinger equations and inductive data types to a readership of mathematical physicists. The connection relies on an interpretation of combinatorial Dyson–Schwinger equations as fixpoint equations for olynomial functors (established elsewhere by the author, and summarised here), combined with he now-classical fact that polynomial functors provide semantics for inductive types. The paper is xpository, and comprises also a brief introduction to type theory.