表現可能関手〈representable functor〉に関連して、「普遍性〈universality〉」と「普遍元〈universal object element〉*1」という言葉のハッキリした用法があることを最近知りました。「普遍性」は、up-to-isoで何かが一意的に決まる状況で漠然と使うことはありましたが、表現可能関手の普遍性はもっとハッキリした定義を持ちます。表現可能関手の普遍元という概念・用語はまったく知りませんでした。[追記]この記事を書いた後で調べたところ、universality, universal property, universal object, univer…