We give algebraic characterizations for a reduction system to be respectively Noethe-rian and confuent, and for a Noetherian reduction system to be confuent. The characterization of a confuent reduction system (A, ->) is based on a relationship between the confluence of the system and the exactness of the colimit functor colim: Ab^A -> Ab, where A is a certain small category arising from the system.