Pushout in a category

ID: pushout-in-a-category

A pushout of is a colimit with morphisms and making the square commute and universal among such commuting pairs. In the Category of sets, form the disjoint union of and identify the two images of each element of .

New to topics? Read the docs here!