FoxDifferential.Completed.Continuous.ChainRule

2 sections | 2 files | 29 declarations

Crossed differentials, universal differential modules, Fox boundaries, Euler formulas, and Jacobians are the common algebraic layer used by Crowell and metabelian applications.

Basic

1 files | 17 declarations | 12 Theorem | 5 Definition

The target generator map pulled back along a continuous homomorphism of free pro-\(C\) sources.

Iterated

1 files | 12 declarations | 10 Theorem | 2 Abbreviation

The pulled-back target generator on the middle free source in a two-step source chain.