Combinatorial Dyson–Schwinger equations and inductive data types

Research output: Contribution to journalReview articleResearchpeer-review

3 Citations (Scopus)

Abstract

© 2016, The Author(s). 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 languageEnglish
Article number111205
Pages (from-to)1-15
JournalFrontiers of Physics
Volume11
Issue number3
DOIs
Publication statusPublished - 1 Jun 2016

Keywords

  • bialgebras
  • Dyson–Schwinger equations
  • inductive types
  • polynomial functors
  • type theory

Fingerprint Dive into the research topics of 'Combinatorial Dyson–Schwinger equations and inductive data types'. Together they form a unique fingerprint.

  • Cite this