Topos Theory (Part 3)

Last time I described two viewpoints on sheaves. In the first, a sheaf on a topological space is a special sort of presheaf Namely, it’s one obeying the ‘sheaf condition’. I explained this condition in Part 1, but here’s a slicker way to say it. Suppose is an open set covered by a collection of […]