Limit: equalizer

A equalizer is a kind of limit. Given a pair of parallel arrows, considered as a diagram in some category, a equalizer is the limit of that pair of parallel arrows in that category.

limits: pair of parallel arrows, 0, equalizer

This data as json