>>959
「圏論の基礎」の原題を三回読んで，改めて本を探すべし．
ちなみに僕には Barr-Wells の本が判りやすかった．

>>958
> 何らかの自然っぽい構造を持ったものはだいたい代数と言ってしまうので
> ミスリーディングではあるんだけどね。
数学の側の感覚でいうと，作用(素)のつくる代数というものに相当するんじゃないかと思う．