Combinatorial Dyson-Schwinger equations and inductive data types
Mathematical Physics
2016-10-04 v1 Logic
math.MP
Abstract
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 polynomial functors (established elsewhere by the author, and summarised here), combined with the now-classical fact that polynomial functors provide semantics for inductive types. The paper is expository, and comprises also a brief introduction to type theory.
Keywords
Cite
@article{arxiv.1512.07884,
title = {Combinatorial Dyson-Schwinger equations and inductive data types},
author = {Joachim Kock},
journal= {arXiv preprint arXiv:1512.07884},
year = {2016}
}
Comments
32 pages. Written for the proceedings of the Workshop on Dyson-Schwinger Equations in Modern Mathematics & Physics, ECT* Trento, 2014. The main points explained are from arXiv:1512.03027