Let C be a category. A small product is a limit for a discrete, small diagram
see:
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 18:40