topos-theory

• How to sheafify in one go