圏論の歩き方

本日読了。

圏論の歩き方

難解。対象と射。射とは変化である。集合から集合への写像、前順序の順序関係は、いずれも圏を構成する。関手とは比喩である。