## Stream: maths

### Topic: Left adjoint of functors between orders

#### Kenny Lau (Apr 27 2018 at 18:55):

So, the forgetful functor from the category of partially ordered sets to the category of pre-ordered sets has a left adjoint