A colimit is a limit in the opposite category
Let be a category and a diagram. A limit of is a cocone such that for every other cocone there exists an unique morphism such that following diagram commutes:
Date: nil
Author: Anton Zakrewski
Created: 2024-10-21 Mo 09:56
be a 
a 
is a 
such that for every other 
there exists an unique 
such that following 