これから圏論の概括をおこなう。 すなわち、 圏, 関手, 自然変換 極限・余極限 随伴関手 圏同値 モナド・T代数 カン拡張 を勉強していく。具体例は少ないが丁寧に書いていくつもりである。 今日は圏の定義とその例をおこなう。 定義 圏の例 1