Continue reading "Sheaves in Geometry and Logic"

Let's continue reading, from where we stopped, in chapter 1, before "how to build subobject classifiers" section.

http://atondwal.org/Sheaves_in_Geometry_and_Logic__MacLane_Moerdijk.pdf