Combinatorial Dyson-Schwinger equations and inductive data types
Research output: Contribution to journal › Journal article › Research › peer-review
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.
Original language | English |
---|---|
Article number | 111205 |
Journal | Frontiers of Physics |
Volume | 11 |
Issue number | 3 |
Number of pages | 15 |
ISSN | 2095-0462 |
DOIs | |
Publication status | Published - Jun 2016 |
Externally published | Yes |
- Dyson-Schwinger equations, type theory, inductive types, bialgebras, polynomial functors, HOPF-ALGEBRAS, RENORMALIZATION, TREES, BIALGEBRAS
Research areas
ID: 331498761