A category is small, if the class of all objects and each hom-set are proper sets resp. \(U\)-small for an inaccessible cardinal \(U\)
Date: nil
Author: Anton Zakrewski
Created: 2024-10-12 Sa 22:57