Notes on The Independence of the Continuum Hypothesis These are my notes on the proof presented in MacLane and Moerdijk for my talk in Categorical Logic at CMU. Run latexmk -pdf main.tex to generate them.