1 paper
Arvid Siqveland
We give the minimum of category theory necessary for understanding the definition and applications of Grothendieck topos. We state the basic properties of sites and sheaves, and gi…