ワタタツの日記
2004 年 5 月 17 日 (月)
☆ 起きたら大学にいた!
なんと、起床すると、なんと、大学にいたのだ!!
☆ presheaf with transfer (PST)
presheaf with transfer (PST) というのは、全く分かりませんが、Cor_k という圏からアーベル群の圏への加法的な反変関手です。そこで、自由になっているような PST を考えると FreePST ということになって、FreeBSD に似ていておもしろいです。
なんと、起床すると、なんと、大学にいたのだ!!
presheaf with transfer (PST) というのは、全く分かりませんが、Cor_k という圏からアーベル群の圏への加法的な反変関手です。そこで、自由になっているような PST を考えると FreePST ということになって、FreeBSD に似ていておもしろいです。
おきたら学校にいるなんて、それは便利ですね。
ですよねー。本当に便利でした。速攻で図書室に参りました。