Dimension quotients as boundary limits: the general case

We identify, functorially, the boundary limit of a simply defined presentation functor with the dimension quotient, both for groups and for Lie rings over integers.