Added .Endomorphism, added semigroupoids depenency.