category_theory.biprod.iso_elim source