(Disambiguation: for division of matrices, which can be thought of as factoring one homomorphism through another, instead see Matrix // Matrix. For lifting a map between modules to a map between their free resolutions, see extend.)
The object factor is a method function with options.