Let C be a category, I,J:I→C be diagrams, such that their colimits exist, and η:I→J a natural transformation containing only epimorphisms. Then
is also an epimorphism
corollary of:
Date: nil
Author: Anton Zakrewski
Created: 2025-01-15 Mi 21:12