a) 1 (1*12 = 12)

b) x*a = b and y*b = c, thus y*x*a = c

c) no, we would have more than one morphism from `0 -> 0`