A review of Category theory