https://filesoo.com/product/14987/notes-on-grothendieck-topologies-fibered-categories-and-descent-theory