Prove that Cat has initial and terminal objects