From Mac Lane's category theory:
Why is theorem $2$ true? How can the equalizer be the limit of $F: J \rightarrow C$ when it was just proven in the last sentence of theorem $1$ that $\mu : d \dot\rightarrow F$ is the limiting cone and the two cones are not equal?
