These are the lecture notes for block 1 of the \textit{Engineering Mathematics~1} (ENG1063) course. They contain the material covered in the lectures and more.
Over the last few years, I’ve been very slowly working up a short expository paper — requiring no knowledge of categories — on set theory done categorically. It’s now progressed to the stage where I’d ...