In mathematics, proofs are all the rage. I'm currently TAing a course on theory of computation, which is the most math many students have seen in the last four years, and definitely not high school style mathematics (i.e. 'shut up and calculate'). So I've been asked some tips on how to cope with proof writing … Continue reading Tips on learning how to write proofs
The following is the script of my latest MSP101 talk. It's supposed to be an overview of optics covering three different ways to construct them and reason about them. Most of it is devoted to the understanding of Tambara theory and the profunctor encoding, for personal reasons: it's the last way of thinking about optics … Continue reading Optics in three acts
If you choose not to decide, you still have made a choice. ~ Neil Peart
Thoughts I have and things I note as I learn math
confessions of a relentlessly staggering blunderer in the mindfield
Jade Master's Blog About Categories
A random mathematical blog
"A good stock of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." - Paul Halmos
Category Theory, Haskell, Concurrency, C++
Miscellaneous maundering
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao
Representation theory, geometry and whatever else we decide is worth writing about today.
Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.
Born to be Wild
General abstract nonsense. 