Sub-objects, pullbacks, and limits

Abstract Then if there is an arrow k that makes the leftmost triangle commute, it can be composed with the top horizontal arrow to obtain h, thus making the outer square commute; while by definition of a pullback if there is an h that makes the outer square commute then there is a unique k that make... View More