{"id":2072,"date":"2017-08-19T15:23:15","date_gmt":"2017-08-19T19:23:15","guid":{"rendered":"http:\/\/blogs.ams.org\/phdplus\/?p=2072"},"modified":"2017-08-19T15:23:15","modified_gmt":"2017-08-19T19:23:15","slug":"category-theory-and-context-an-interview-with-emily-riehl","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/phdplus\/2017\/08\/19\/category-theory-and-context-an-interview-with-emily-riehl\/","title":{"rendered":"Category Theory and Context: An Interview with Emily Riehl"},"content":{"rendered":"
\"\"<\/a>

Emily Riehl<\/p><\/div>\n

Emily Riehl<\/a> is an incredibly accomplished early-career mathematician, working at the interface of category theory and homotopy theory. She is also a stunning number of other things, including a\u00a0creative interdisciplinary scholar<\/a>, working musician<\/a>, and\u00a0high-level athlete<\/a>. A brief career outline: she did her undergraduate work at Harvard University, graduate work at Cambridge and the University of Chicago, was an NSF and Benjamin Peirce Postdoctoral Fellow at Harvard from 2011-2015, and is currently an Assistant Professor at Johns Hopkins University. Emily has been awarded an NSF standard grant and a CAREER award to support her work. She is the author of 21 published research articles, two books (Categorical Homotopy Theory<\/a> and Category Theory in Context<\/a>), and many other expository works. All this, and she also performs as a rock\/alternative bass player and plays on the US women\u2019s national Australian Rules football team. I recently learned about\u00a0Emily’s work and profile while looking for women mathematicians to interview for the Association for Women in Mathematics newsletter. \u00a0I thought maybe PhD+epsilon readers would also be interested to hear about an early-career mathematician doing some really cool\u00a0things. \u00a0The following interview is a compilation of email and Skype conversations from August 2017, while Emily was in Australia to compete in the AFL International Cup<\/a>.<\/p>\n

A longer version of this interview will appear in an upcoming issue of the Association for Women in Mathematics newsletter<\/a><\/em>.<\/p>\n

\n

Question:<\/strong> How and why did you get into category theory? Is there a basic result that you can share that gives the flavor of what you love about it?<\/p>\n

Emily Riehl:<\/strong> For graduate school, I deferred from the University of Chicago for a year to go to Cambridge and do what they call a Part III. One of the courses they offered at Cambridge was in category theory, and I liked it instantly; I fell in love. I feel like it chose me as much as I chose it. And it was for the reason that I think that everyone chooses their field, ultimately: the proofs felt like the right way of thinking about mathematics. I felt right away that this is the sort of argument that I wanted to delve into.<\/p>\n

Category theory can sound intimidating because it’s highly abstract, but it\u2019s actually not that hard. Several of the most important definitions are quite elementary, and you can start stating and proving the theorems pretty quickly. Indeed, there\u2019s a common belief in category theory that once you understand the statement of the theorem, you can probably supply the proof yourself. Identifying the correct definitions is really the harder thing. The only reason that you typically don\u2019t learn category theory until graduate school is that it requires a rather high degree of mathematical sophistication to appreciate what it\u2019s for.<\/p>\n

One of my favorite theorems in category theory is that right adjoints preserve limits\u2014or, since you always get a dual theorem in category theory by simply \u201cturning all the arrows around\u201d\u2014that left adjoints preserve colimits. This result specializes to explain why tensor products distribute over direct sums, why inverse images preserve intersections and unions while direct images only preserve unions, why quotients of topological spaces are formed by first identifying the appropriate points and then topologizing this quotient set. It\u2019s not so much that I appreciate having one proof instead of having to repeat the argument in each context but I feel that the category theoretic proof\u2014which uses the fact that limits are characterized by a \u201cmapping in” universal property, while colimits are characterized by a \u201cmapping out” universal property\u2014is the right one.<\/p>\n

Q:<\/strong> You are early in your career, but you have written many, many papers, two books, and a lot of shorter expository work (like posts on the n-category cafe<\/a>). \u00a0How do you do so much stuff? \u00a0Do you have any insights into how\/why you are so productive?<\/p>\n

ER:<\/strong> I read Hardy\u2019s A Mathematician\u2019s Apology<\/em> in high school and my main takeaway was from the forward written by C P Snow, who described Hardy\u2019s typical day: he devoted four hours in the morning, from 8-12, doing math, and then spent the afternoon watching cricket. It struck me as a particularly aspirational life style and so I\u2019ve always focused more on working well than on working long hours. My main time management strategy is to start work on the thing that is due the soonest last, when I\u2019ll be the most focused. So, for example, if I have a referee report due in three months, I wait until almost three months have passed, and then start to read the paper. I also do the preparation for my teaching in the hour or hour and a half before class, in what often feels like a race to figure out how to prove all the theorems before I rush across campus. Occasionally this gets me in to trouble, for instance when I was trying set up a transfinite induction over the reals and couldn\u2019t understand why the intermediate stages were all \u201ccountable\u201d (aside: I\u2019m now firmly in the camp that believes that the axiom of choice is clearly true, while the well-ordering principle is clearly false). But this approach is very effective at reserving time for research and other long-term projects.<\/p>\n

Q:<\/strong> What do you think are the best\/worst parts of a life in math overall?<\/p>\n

ER:<\/strong> The worst thing is how intellectually isolated we all are, how few people there are with whom we can share the insights that we find the most exciting, even among other mathematicians. For me personally I feel very frustrated that there is this huge part of my emotional life that most of the people whom I care about have no access to.<\/p>\n

My favorite part of my job has always been giving talks. Research talks are my favorite, for the reasons alluded to above, but I also get some of that same thrill from giving colloquia or even from teaching. Even in high school, I enjoyed the performative aspects of lecturing. When I ran for student body president, my only real interest in the job was to give the campaign speech in front of the entire school.<\/p>\n

Q:<\/strong> You begin your book Categorical Homotopy Theory<\/em> with a quote from \u2018On proof and progress in Mathematics,\u2019<\/a> by William Thurston: \u201c\u2026what we are doing is finding ways for people <\/em>to understand and think about mathematics.\u201d How has Thurston\u2019s perspective on mathematics as a community endeavor, with human understanding at its core, influenced your mathematical life?<\/p>\n

ER:<\/strong> I\u2019ve wondered at various points whether I should be concerned about the amount of time I end up devoting to expository projects, such as the books, because it does certainly eat into research time. This is one of many instances where I\u2019ve found Thurston\u2019s essay, which I’ve re-read a few times now, to be helpful for keeping these kinds of projects in perspective. The passage you quote above is his definition of mathematical progress, which he sees as much broader than simply proving theorems. I happen to particularly enjoy mathematical exposition, so I think it makes sense\u2014or as the economists would say, is a comparative advantage\u2014for me to play that role in the broader community.<\/p>\n

I read from a different section of this essay\u2014on the difficulties of mathematical communication\u2014at the introductory meeting for an AMS sponsored Mathematics Research Community workshop in Homotopy Type Theory that I co-organized this past June as a way of framing our goals for the week, which were largely to provide an opportunity for people who are not currently a part of that community (e.g., because they’re doing their PhD at a place that doesn’t have a faculty member working in that area) to find their way in.<\/p>\n

Q:<\/strong> What is next for you, in math and life?<\/p>\n

ER:<\/strong> One of my favorite things about academia is that the job changes all the time, or at least it can, if you want it to. Right now I’m focused on growing the category theory group at Johns Hopkins and a few long-term research projects that I’d love to get through before an MSRI semester on Higher Categories and Categorification that will take place in 2020. In a decade\u2019s time, I hope I\u2019m working on projects that I can’t even imagine now and have found a way to be a part of larger mathematical and public conversations.<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

Emily Riehl is an incredibly accomplished early-career mathematician, working at the interface of category theory and homotopy theory. She is also a stunning number of other things, including a\u00a0creative interdisciplinary scholar, working musician, and\u00a0high-level athlete. A brief career outline: she … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":90,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2072","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3c1jI-xq","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/posts\/2072","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/users\/90"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/comments?post=2072"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/posts\/2072\/revisions"}],"predecessor-version":[{"id":2075,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/posts\/2072\/revisions\/2075"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/media?parent=2072"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/categories?post=2072"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/phdplus\/wp-json\/wp\/v2\/tags?post=2072"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}