３．表現可能関手 世の中のものにはそれぞれ名前がついているのが普通で、いちいちその由来を考えることはないが、時々なぜと頭を悩ませるものがある。表現可能関手(representable functor)もその一つだ。この関手が、何を表現可能にしてくれるのだろうと考…