Limit: pullback

A pullback is a kind of limit. Given a cospan, considered as a diagram in some category, a pullback is the limit of that cospan in that category.

limits: cospan, 0, pullback

This data as json

diagram is_colimit construction
cospan 0 pullback