圏論

数学的構造とその間の関係を抽象的に扱う数学理論の 1 つ

圏論的な解析においては、何かしら与えられた構造を持つ個々の対象（例えば群）とその「内部構造」だけを考えるよりも、対象間の射 — 構造を保つ対応関係 — に力点が置かれる

図解

https://scrapbox.io/files/638facdc7e7c48001de5d472.png

対象と射(対象間の構造を保つ対応関係)によって表現される代数的構造

圏で対象間の対応関係を表現

2つの圏間の構造を保持するマッピング

関手の一種。関手とモナドの中間に位置する性質を持つ。

関手の一種。計算を表現する構造 。