equalizer

1. Definition

An equalizer is a fork $(, eq)$satisfying following universal property: For any fork 20230804-equalizer_83bb087ce1e7da822f33b08f166f81baca12b104.svg there exists an unique morphism 20230804-equalizer_2e5df4ee50333a9d9e71768756dd2048142e5f8e.svg such that following diagram commutes

20230804-equalizer_5a8da8bf9898e74d959530e4487c5052af7766db.svg

see: limit

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:42