Problem B8
Problem B9: This is Criterion 2.3.1 of Weibel, page 39.
Problems B10, C1, C2 Weibel A.4.1
Problem B11 Weibel A.4.2
Problem B12 (Tony 7A)
Problem B13 to follow.
Problem B14 (Tony 9B)