Theory

Mathematical foundations of Asgard.

Category theory foundations: traced monoidal categories and circuit composition.

How equations are translated to computational circuits through isolation and unification.

Formal polynomial semantics: what each circuit operation does to coefficient arrays mathematically.

Mathematical foundations of stochastic calculus: Itô and Stratonovich integrals, conversion formulas, and the Itô Lemma.