A Cocone is a cone in the opposite category
Let be a category and a diagram. A cocone from to is an object and a class of morphisms
such that for each and following diagram commutes
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:31
be a 
a 
to 
is an 
and a 
and 
following 