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. initorcl
8. termorcl
9. zeroorcl
10. initoval
11. termoval
12. zerooval
13. isinito
14. istermo
15. iszeroo
16. isinitoi
17. istermoi
18. initoid
19. termoid
20. initoo
21. termoo
22. iszeroi
23. 2initoinv
24. initoeu1
25. initoeu1w
26. initoeu2lem0
27. initoeu2lem1
28. initoeu2lem2
29. initoeu2
30. 2termoinv
31. termoeu1
32. termoeu1w