One of the best universities in the world, and one of the oldest, the University of Cambridge is well-known for its research in mathematics. Working in the Centre for Mathematical Sciences, Timothy Ngotiaoco spent his time studying category theory, a topic once ridiculed as "abstract nonsense" by mathematicians. Category theory has now become vital in pure mathematics and is now showing useful applications in computer science. Reading papers on quasicategories and model categories, Timothy prepared explanations on the construction and properties of these objects for his supervisor who was looking into these topics for applications to homotopy type theory.
A clearer perspective
In his department, Timothy also met people from all over Europe, regularly having lunch with people from countries such as France, Germany, Lithuania, and Italy. This diverse body of researchers made for some interesting conversation, and the group would regularly spend time together having coffee and cookies, comparing how each country worked. To Timothy, it was fascinating to see how different each culture was. In their office, Timothy and his French coworker Marin would often talk about philosophy as well, discussing the Bible along with the works of Plato, Pascal, Kant, and Nietzsche.
MISTI UK internship leads to inspiraton and collaboration
At the end of the summer, Timothy described the model structure of quasicategories to his advisor, combining all the topics he had been researching for the summer. Although he needed to return to MIT, he would miss the people and environment at the University of Cambridge. It truly was exciting to explore math with people from all over the world.