Colimit: pushout

A pushout is a kind of colimit. Given a span, considered as a diagram in some category, a pushout is the colimit of that span in that category.

limits: span, 1, pushout

This data as json