Metamath Proof Explorer

Table of Contents - 8.1.8. Full & faithful functors

1. cful
2. cfth
3. df-full
4. df-fth
5. fullfunc
6. fthfunc
7. relfull
8. relfth
9. isfull
10. isfull2
11. fullfo
12. fulli
13. isfth
14. isfth2
15. isffth2
16. fthf1
17. fthi
18. ffthf1o
19. fullpropd
20. fthpropd
21. fulloppc
22. fthoppc
23. ffthoppc
24. fthsect
25. fthinv
26. fthmon
27. fthepi
28. ffthiso
29. fthres2b
30. fthres2c
31. fthres2
32. idffth
33. cofull
34. cofth
35. coffth
36. rescfth
37. ressffth
38. fullres2c
39. ffthres2c