show (cat_n n) is a discrete category

the proof is trivial
show (cat_n n) is a discrete category, part 2