Topos Theory (Part 2)

Last time I defined sheaves on a topological space this time I’ll say how to get these sheaves from ‘bundles’ over You may or may not have heard of bundles of various kinds, like vector bundles or fiber bundles. If you have, be glad: the bundles I’m talking about now include these as special cases. If not, don’t worry: the bundles I’m talking about now are much simpler!

A bundle over is simply a topological space equipped with a continuous map to say

You should visualize as hovering...