Differential universes in external dynamic linearization

It is shown that a nonlinear continuous-time control system with output is externally dynamically linearizable if and only if its differential output universe is free. Some regularity conditions are assumed, but the system does not have to be observable. Using universes instead of algebras or fields is essential as they allow for substitutions and amalgamations of functions.