isUniversalInitialObject
                    14
                    triples
                
                
                    GPTKB property
                
            Random triples
| Subject | Object | 
|---|---|
| gptkb:The_ring_of_integers_Z | category of Euclidean domains | 
| gptkb:The_ring_of_integers_Z | category of totally ordered rings | 
| gptkb:The_ring_of_integers_Z | category of Noetherian rings | 
| gptkb:The_ring_of_integers_Z | category of unique factorization domains | 
| gptkb:The_ring_of_integers_Z | category of commutative rings | 
| gptkb:The_ring_of_integers_Z | category of infinite rings | 
| gptkb:The_ring_of_integers_Z | category of unital rings | 
| gptkb:The_ring_of_integers_Z | category of rings with characteristic 0 | 
| gptkb:The_ring_of_integers_Z | category of rings with unit group {1, -1} | 
| 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 principal ideal domains | 
| gptkb:The_ring_of_integers_Z | category of integral domains | 
| gptkb:The_ring_of_integers_Z | category of Dedekind domains |