Metamath Proof Explorer

Table of Contents - 21.48.12. Categories

1. Categories
   1. catprslem
   2. catprs
   3. catprs2
   4. catprsc
   5. catprsc2
   6. endmndlem
2. Monomorphisms and epimorphisms
   1. idmon
   2. idepi
3. Functors
   1. funcf2lem