An equalizer is a fork $(, eq)$satisfying following universal property: For any fork there exists an unique morphism such that following diagram commutes
see: limit
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:42