A Construction that satisfies a Universal Property Can be applied to expose relationships existing in other Categories