For division of matrices, which can be thought of as factoring one homomorphism through another, see Matrix // Matrix.