Metamath Proof Explorer

Table of Contents - 10.3.14. Categories of rings

1. The category of non-unital rings
   1. crngc
   2. df-rngc
   3. rngcval
   4. rnghmresfn
   5. rnghmresel
   6. rngcbas
   7. rngchomfval
   8. rngchom
   9. elrngchom
   10. rngchomfeqhom
   11. rngccofval
   12. rngcco
   13. dfrngc2
   14. rnghmsscmap2
   15. rnghmsscmap
   16. rnghmsubcsetclem1
   17. rnghmsubcsetclem2
   18. rnghmsubcsetc
   19. rngccat
   20. rngcid
   21. rngcsect
   22. rngcinv
   23. rngciso
   24. rngcifuestrc
   25. funcrngcsetc
   26. funcrngcsetcALT
   27. zrinitorngc
   28. zrtermorngc
   29. zrzeroorngc
2. The category of (unital) rings
   1. cringc
   2. df-ringc
   3. ringcval
   4. rhmresfn
   5. rhmresel
   6. ringcbas
   7. ringchomfval
   8. ringchom
   9. elringchom
   10. ringchomfeqhom
   11. ringccofval
   12. ringcco
   13. dfringc2
   14. rhmsscmap2
   15. rhmsscmap
   16. rhmsubcsetclem1
   17. rhmsubcsetclem2
   18. rhmsubcsetc
   19. ringccat
   20. ringcid
   21. rhmsscrnghm
   22. rhmsubcrngclem1
   23. rhmsubcrngclem2
   24. rhmsubcrngc
   25. rngcresringcat
   26. ringcsect
   27. ringcinv
   28. ringciso
   29. ringcbasbas
   30. funcringcsetc
   31. zrtermoringc
   32. zrninitoringc
3. Subcategories of the category of rings
   1. srhmsubclem1
   2. srhmsubclem2
   3. srhmsubclem3
   4. srhmsubc
   5. sringcat
   6. crhmsubc
   7. cringcat
   8. rngcrescrhm
   9. rhmsubclem1
   10. rhmsubclem2
   11. rhmsubclem3
   12. rhmsubclem4
   13. rhmsubc
   14. rhmsubccat