fix(library/algebra/category/morphism): remove sorry that was introduced by accident