the Category Cat is complete.
using small products and equalizer and complete category
equalizer in category cat
product category as categorical product
Date: nil
Author: Anton Zakrewski
Created: 2024-10-15 Di 23:15