Dimension quotients as boundary limits

For a functor from the category of free presentations of a group to the category of all groups we define the boundary limit as an image of the natural map from limit to colimit. We show that the fourth dimension quotient of a group can be naturally described as the boundary limit of a simply-defined functor.