V.L11 — Carriers as Germ Images

Every carrier type (fiber, base, crossing) is a functorial image of the germ functor: Carrier_X = pr_X o Germ_omega. Carrier assignments are natural in the sector variable.