Category theory and higher categories