Fibre bundle

Bundle section

Consider a fibre bundle.

A section of the bundle is simply a section of in the sense of category theory, #m/def/top i.e. a morphism such that .

This makes a section a special case of a bundle map if we consider as a bundle over itself, so the set of all sections is given by

A section can be thought of as a dependently typed function, sending each to a in the fibre .

#state/tidy | #lang/en | #SemBr