『ベーシック圏論』

https://gyazo.com/7f92fe2ae4e3b4cf834f1245515c8b89

著者：Tom Leinster

訳者：斎藤　恭司 監修、土岡　俊介 訳

版元：丸善出版

発行年：2017年01月

頁数：288ページ

形態：

流通：

定価：

所持：

Basic Category Theory in Lean

目次

序論

第１章 圏・関手・自然変換

１．１　圏

１．２　関手

１．３　自然変換

第２章　随伴

２．１　定義と例

２．２　単位と余単位からみた随伴

２．３　始対象からみた随伴

第３章　休憩：集合論について

３．１　集合にまつわる諸構成

３．２　小さな圏と大きな圏

３．３　歴史についての注意

第４章　表現可能関手

４．１　定義と例

４．２　米田の補題

４．３　米田の補題の帰結

第５章　極限

５．１　極限：定義と例

５．２　余極限：定義と例

５．３　関手と極限の相互作用

第６章　随伴・表現可能関手・極限

６．１　随伴と表現可能関手からみた極限

６．２　前層の極限，余極限

６．３　随伴関手と極限の相互作用

付録A 一般随伴関手定理の証明