Email Record: Lecture notes on topoi and quasitopoi /