Let be a category. Some type of morphisms is said to be stable under pullbacks, if for 1 objects
it holds for the pullback, if it exists,
that satisfies the type
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 23:51