Metamath Proof Explorer

Table of Contents - 20.44.13. Examples of categories

1. Thin categories
   1. cthinc
   2. df-thinc
   3. isthinc
   4. isthinc2
   5. isthinc3
   6. thincc
   7. thinccd
   8. thincssc
   9. isthincd2lem1
   10. thincmo2
   11. thincmo
   12. thincmoALT
   13. thincmod
   14. thincn0eu
   15. thincid
   16. thincmon
   17. thincepi
   18. isthincd2lem2
   19. isthincd
   20. isthincd2
   21. oppcthin
   22. subthinc
   23. functhinclem1
   24. functhinclem2
   25. functhinclem3
   26. functhinclem4
   27. functhinc
   28. fullthinc
   29. fullthinc2
   30. thincfth
   31. thincciso
   32. 0thincg
   33. 0thinc
   34. indthinc
   35. indthincALT
   36. prsthinc
   37. setcthin
   38. setc2othin
   39. thincsect
   40. thincsect2
   41. thincinv
   42. thinciso
   43. thinccic
2. Preordered sets as thin categories
   1. cprstc
   2. df-prstc
   3. prstcval
   4. prstcnidlem
   5. prstcnid
   6. prstcbas
   7. prstcleval
   8. prstclevalOLD
   9. prstcle
   10. prstcocval
   11. prstcocvalOLD
   12. prstcoc
   13. prstchomval
   14. prstcprs
   15. prstcthin
   16. prstchom
   17. prstchom2
   18. prstchom2ALT
   19. postcpos
   20. postcposALT
   21. postc
3. Monoids as categories
   1. cmndtc
   2. df-mndtc
   3. mndtcval
   4. mndtcbasval
   5. mndtcbas
   6. mndtcob
   7. mndtcbas2
   8. mndtchom
   9. mndtcco
   10. mndtcco2
   11. mndtccatid
   12. mndtccat
   13. mndtcid
   14. grptcmon
   15. grptcepi