- "Mathematics, morally", by Eugenia Cheng [PDF, 2004]: "an account of how mathematicians ... interact with the supposed truths of their trade, and with it a theory , an `ism' that does have an impact on the sort of maths we do" http://www.cheng.staff.shef.ac.uk/morality/morality.pdf 15 comments math
- On the Perfect Quantity of Cream For a Scone http://cheng.staff.shef.ac.uk/misc/cheng-cream.pdf 15 comments math
- How to write proofs: a quick guide [pdf] http://cheng.staff.shef.ac.uk/proofguide/ 18 comments math
- How to write proofs: a quick guide [pdf] http://cheng.staff.shef.ac.uk/proofguide/proofguide.pdf 11 comments math
- Crazy category theory teaching stuff by Eugenia Cheng, including video lectures http://www.cheng.staff.shef.ac.uk/ 6 comments programming