力学系の圏を探検する

力学系の圏を作って、関手、自然変換、随伴関手、表現可能関手、極限・余極限がどうなっているか考えたい