その他メモ 予定

今日は色々書いた。が、まだ書くことはある。今日は無理そうだが。

• 関手 F:C→D があるときに、g∈D に対して、逆像F^-1(f) を二部グラフとみて、この二部グラフ上の圏に値を持つラベリングを前送りする方法。ユニオン型の前送りとジョイン型の前送りを具体的に書き下す。たぶん、derivatorのホモトピー・カン拡張につながる。
• Tao of RPC というタイトルの記事。RPCの真髄は何か？ そのためにはメッセージフォーマットとエンドポイントネーミングに対するアダプテーションをしなくてはならない。