nLab
sub-bundle

Context

Bundles

Contents

Definition

A sub-bundle is a subobject in a category of bundles.

If [EfbX]\left[ E \overset{fb}{\to} X\right] is a bundle, then a sub-bundle is a monomorphism

SE S \hookrightarrow E

in the given slice category over XX, hence

S E ! fb X \array{ S && \hookrightarrow && E \\ & {}_{\mathllap{\exists!}}\searrow && \swarrow_{\mathrlap{fb}} \\ && X }

Examples

Created on October 23, 2017 at 05:10:10. See the history of this page for a list of all contributions to it.