category of commutative rings

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—

Special objects

  • terminal object: zero ring
  • initial object: ring of integers
  • products: direct products with pointwise operations
  • coproducts: tensor products over Z\IZ

Special morphisms

  • isomorphisms: bijective morphisms
  • monomorphisms: injective morphisms
  • epimorphisms: A ring map f:R→Sf : R \to S is an epimorphism iff SS equals the dominion of f(R)⊆Sf(R) \subseteq S, meaning that for every s∈Ss \in S there is some matrix factorization (s)=YXZ(s) = Y X Z with X∈Mn×n(f(R))X \in M_{n \times n}(f(R)), Y∈M1×n(S)Y \in M_{1 \times n}(S), Z∈Mn×1(S)Z \in M_{n \times 1}(S) such that YX∈M1×n(f(R))YX \in M_{1 \times n}(f(R)) and XZ∈Mn×1(f(R))XZ \in M_{n \times 1}(f(R)).
  • regular monomorphisms:
  • regular epimorphisms: surjective morphisms

Indistinguishable categories

These categories in the database currently have exactly the same properties as the category of commutative rings. This indicates that the data may be incomplete or that a distinguishing property may be missing from the database.

Comments

  • Regular monomorphisms are discussed in MSE/695685, but probably they cannot be classified.

Functors

The database has stored 1 functor whose (co-)domain is the category of commutative rings.

Morphisms

The database has stored 1 morphism in the category of commutative rings.