Metamath Proof Explorer

Table of Contents - 8.1.10. Initial, terminal and zero objects of a category

1. cinito
2. ctermo
3. czeroo
4. df-inito
5. df-termo
6. df-zeroo
7. initofn
8. termofn
9. zeroofn
10. initorcl
11. termorcl
12. zeroorcl
13. initoval
14. termoval
15. zerooval
16. isinito
17. istermo
18. iszeroo
19. isinitoi
20. istermoi
21. initoid
22. termoid
23. dfinito2
24. dftermo2
25. dfinito3
26. dftermo3
27. initoo
28. termoo
29. iszeroi
30. 2initoinv
31. initoeu1
32. initoeu1w
33. initoeu2lem0
34. initoeu2lem1
35. initoeu2lem2
36. initoeu2
37. 2termoinv
38. termoeu1
39. termoeu1w