圏論の勉強, awodey, leinster, peter smith等を読む(概要, 簡単, 初心者向け，入門)