isUniversalInitialObject

14 triples
GPTKB property

Random triples
Subject Object
gptkb:The_ring_of_integers_Z category of unital rings
gptkb:The_ring_of_integers_Z category of principal ideal domains
gptkb:The_ring_of_integers_Z category of commutative rings
gptkb:The_ring_of_integers_Z category of rings with unit group {1, -1}
gptkb:The_ring_of_integers_Z category of Euclidean domains
gptkb:The_ring_of_integers_Z category of Dedekind domains
gptkb:The_ring_of_integers_Z category of infinite rings
gptkb:The_ring_of_integers_Z category of rings with characteristic 0
gptkb:The_ring_of_integers_Z category of countable rings
gptkb:The_ring_of_integers_Z category of rings
gptkb:The_ring_of_integers_Z category of integral domains
gptkb:The_ring_of_integers_Z category of Noetherian rings
gptkb:The_ring_of_integers_Z category of totally ordered rings
gptkb:The_ring_of_integers_Z category of unique factorization domains