「双線形写像集合関手の表現可能性とテンソル積の普遍性」で、ベクトル空間のテンソル積を事例として、表現可能関手と普遍元の話をしました。テンソル積より簡単でお馴染みな例がありますね。デカルト圏における指数対象〈exponential object〉です。これは…

表現可能関手〈representable functor〉に関連して、「普遍性〈universality〉」と「普遍元〈universal object element〉*1」という言葉のハッキリした用法があることを最近知りました。「普遍性」は、up-to-isoで何かが一意的に決まる状況で漠然と使うこと…