Category of Additive Bundles

The category of additive bundles over some R : 𝒞 : 𝑅 𝒞 R:\mathcal{C} is the category of Category of Commutative Monoid Objects in the Slice Category 𝒞 / R 𝒞 𝑅 \mathcal{C}/R . Alternatively, the category of additive bundles is the category consisting of Additive Bundles over R 𝑅 R and their Morphisms.