Metamath Proof Explorer

Table of Contents - 8.1.7. Functors

1. cfunc
2. cidfu
3. ccofu
4. cresf
5. df-func
6. df-idfu
7. df-cofu
8. df-resf
9. relfunc
10. funcrcl
11. isfunc
12. isfuncd
13. funcf1
14. funcixp
15. funcf2
16. funcfn2
17. funcid
18. funcco
19. funcsect
20. funcinv
21. funciso
22. funcoppc
23. idfuval
24. idfu2nd
25. idfu2
26. idfu1st
27. idfu1
28. idfucl
29. cofuval
30. cofu1st
31. cofu1
32. cofu2nd
33. cofu2
34. cofuval2
35. cofucl
36. cofuass
37. cofulid
38. cofurid
39. resfval
40. resfval2
41. resf1st
42. resf2nd
43. funcres
44. funcres2b
45. funcres2
46. wunfunc
47. funcpropd
48. funcres2c