Metamath Proof Explorer

Table of Contents - 21.53.15.9. Full & faithful functors

1. imasubc
2. imasubc2
3. imassc
4. imaid
5. imaf1co
6. imasubc3
7. fthcomf
8. idfth
9. idemb
10. idsubc
11. idfullsubc
12. cofidfth
13. fulloppf
14. fthoppf
15. ffthoppf