Diagram khas dari definisi morfisme universal.