FREE FORGETFULL FUNCTOR
Free constructions are a powerful application of adjunctions. A free functor is defined as the left adjoint to a forgetful functor. A forgetful functor is usually a pretty simple functor that forgets some structure.
Een beeld zegt meer als 1000 woorden (zie bijlagen)