Notes on Algebraic Set Theory