分類とかイイカゲン、ともかく書き出して、後で整理すべー。雑多 集合の直積、直和、べき（指数） 特に、指数記号と指数法則； これはカリー化／反カリー化を含む 付点集合の圏 と 二分割構造付き集合の圏 射より、関手や自然変換のほうが具体的 関手も射で…