Relative algebroids and Cartan realization problems
We introduce the notion of a relative algebroid to address existence and classification problems for geometric structures governed by partial differential equations. This framework unifies the theories of ordinary Lie algebroids and (formal) partial differential equations. We study prolongation and formal integrability of a relative algebroid, leading to a profinite Lie algebroid that governs the classification problem. At the core of this new framework is the notion of a relative derivation, whose theory we develop in detail. Throughout, we illustrate the theory with numerous examples.