讲的很详细了已经，如果有英语基础和范畴论基础的同学看起来应该不难。