Let be a small category, objects and a morphism. Then for the hom-sets the postcomposition morphism is defined as:
such that
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 19:03
be a 
a 
the postcomposition 
is defined as:
