Email Record: An introduction to homotopy theory via groupoids and universal constructions /