Introduction to a History of Categories