Grothendieck topology vs Lawvere-Tierney topology