distinguished properties objects common empty set product two topologies yet definition category objects considered atomic ie ' 'do know'' whether object ''a'' set topology abstract concept hence challenge define special objects without referring internal structure objects define empty set without referring elements product topology without referring open sets one characterize objects terms relations objects
Formal science Mathematics Pure mathematics Algebra Category theory