Let C be a category. A discrete Diagram is a diagram F:J→C for a discrete category J
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 18:19