単相的な基礎の中での単子の形式理論の開発

単子は数学とコンピュータサイエンスの両分野で広く使われており、様々な種類の単子が考えられている。本論文では、任意の双カテゴリーの中での単子の一般的な枠組みを開発し、その性質を示す。特に、単子双カテゴリーが単相的であることを証明し、Eilenberg-Moore対象の構成を行う。さらに、単子と随伴性の関係を明らかにする。