See here

They can be defined with an Universal mapping property