  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.
