Localization of modules

Finite object, fixed-target arrow, and fixed-terminal three-term descent.