Hello! I am a postdoctoral lecturer in the Department of Mathematics at Northwestern University in Evanston.

My contact info is as follows:

**Email.**cnewstead at northwestern dot edu**Office.**Locy Hall 205 — office hours TBA**Phone.**(847) 467-4078

This quarter (Winter 2019), I am teaching:

- Math 290
*Linear Algebra and Multivariable Calculus*— course page - Math 300
*Foundations of Higher Mathematics*— course page

My mathematical background is in category theory, which I like to think of as the *mathematics of mathematics*: whereas mathematics looks at the real world, identifies patterns and structures and then studies those patterns and structures, category theory does the same thing for mathematics, relating results in one area of the subject to those in seemingly unrelated areas. I am also interested in pedagogy, and particularly in identifying the teaching strategies and course design principles that are most effective for promoting student learning in mathematics-based subjects.

I grew up in Yorkshire, a region in the north of England. I did my BA and MMath degrees at the University of Cambridge (Robinson College) from 2009 to 2013, and my PhD at Carnegie Mellon University in Pittsburgh from 2013 to 2018. My thesis was entitled *Algebraic models of dependent type theory*, advised by Steve Awodey—you can download it here. My CV is available here.

The following calendar contains my scheduled meetings, classes, office hours, and other academic engagements. Please contact me if you would like to schedule a meeting.

I'm in the process of writing an introductory pure mathematics textbook, entitled *An infinite descent into pure mathematics*.

My reason for writing the book is that I wanted to provide my students with a freely accessible resource that emphasised not only the technical aspects of mathematics, but also the human aspects, particularly *communication* and *inquiry*—I was unable to find a resource that emphasised these aspects and also covered enough ground, so I decided to write my own. Particularly:

**LaTeX support.**The textbook contains a tutorial for typesetting mathematics using LaTeX, with code for all mathematical symbols provided when they are defined.**Writing guide.**The finalised version of the textbook will contain tutorials on writing mathematics, from as low a level as choosing which words and symbols to use in a clause within a sentence in a proof, to structuring a substantial mathematical document.**Exercises.**Though many proofs and examples are provided in the textbook, a large quantity of material is delivered as exercises for the reader. This is to promote inquiry-based learning, to encourage collaborative work, and to increase the book's feasibility as an instructional tool.**Completeness.**I have tried to make sure that the material in the textbook is complete and coherent, with all details are included*except*when the details obfuscate the intuition, in which case they are still included, but are relegated to an appendix.

**More information and a download link can be found here.**