Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures