Metamath Proof Explorer

Table of Contents - 8.1.9. Natural transformations and the functor category

1. cnat
2. cfuc
3. df-nat
4. df-fuc
5. fnfuc
6. natfval
7. isnat
8. isnat2
9. natffn
10. natrcl
11. nat1st2nd
12. natixp
13. natcl
14. natfn
15. nati
16. wunnat
17. catstr
18. fucval
19. fuccofval
20. fucbas
21. fuchom
22. fucco
23. fuccoval
24. fuccocl
25. fucidcl
26. fuclid
27. fucrid
28. fucass
29. fuccatid
30. fuccat
31. fucid
32. fucsect
33. fucinv
34. invfuc
35. fuciso
36. natpropd
37. fucpropd