Fibre bundle

Bundle section

Consider a fibre bundle.

A section of the bundle is simply a section of in the sense of category theory, 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 .

---

tidy | en | sembr