Universal morphism
Jump to navigation
Jump to search
Universal morphism is a foundational reasoning mechanism to obtain universality. An extensive explanation can be found here:Formal Definition of Universal Property.