Let be a category and a diagram. A limit of is a cone such that for every other cone there exists an unique morphism such that following diagram commutes:
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:25
be a 
a 
is a 
such that for every other 
there exists an unique 
such that following 