cat of partial bijs: finish proof that it is a cat