category_theory.iso.trans source