Each category is distinguished by properties that all its objects have in common, such as the empty set or the product of two topologies, yet in the definition of a category, objects are considered atomic, i.e., we do not know whether an object A is a set, a topology, or any other abstract concept.
Κάθε κατηγορία διακρίνεται από τις ιδιότητες που όλα τα αντικείμενά του έχουν από κοινού, όπως το κενό σύνολο ή το γινόμενο δύο τοπολογιών, όμως στον καθορισμό μιας κατηγορίας, τα αντικείμενα θεωρούνται ατομικά, δηλ., εμείς δεν ξέρουμε εάν ένα αντικείμενο Α είναι ένα σύνολο, μια τοπολογία, ή οποιαδήποτε άλλη αφηρημένη έννοια.