added the proof of why morphisms in A/C are 'self-dual'