Replaced Category/iso with \pi_0(Category). What do you think?