なんと、起床すると、なんと、大学にいたのだ!!
presheaf with transfer (PST) というのは、全く分かりませんが、Cor_k という圏からアーベル群の圏への加法的な反変関手です。そこで、自由になっているような PST を考えると FreePST ということになって、FreeBSD に似ていておもしろいです。