UKJ 先生はカンボジア帰りとのこと． お昼はイノウエくんと． 午後は講演．「3節 2, 3, 4 次方程式」と板書したとき，「A．A型，B．O型，C．B型，…」（サンドウィッチマンのネタ）みたいですねえ，と言ったが全く受けなかった． 夕食は百万遍琢磨．

http://jp.arxiv.org/abs/0801.0820

Mayor-Vietoris の一般化．

RH Bing の RH はイニシャルではなく，そういう名前なのだそうだ．

http://jp.arxiv.org/abs/0801.0446

三角圏の定義が通常のものより強い．

http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html http://www.tac.mta.ca/tac/reprints/ アーベル圏の定義が見かけ上弱い（0対象，有限直和・有限直積，核・余核，与えられたmonoを核とする射・与えられたepiを余核とする射の存在）ので，準同型…

不換紙幣は「バブル」であり，その崩壊がハイパーインフレ，とのこと．

新幹線の中で読みはじめる．

東京駅のホームで箱根駅伝の神奈川大チームを見る．

ある意味，-圏（2次以上の射が可逆なもの）は2-圏よりやさしい． -圏（-亜群）は穏和空間，-圏（Lurie の意味の -圏）は穏和位相圏と見るのが自然なようだが，今は単体集合でやるしかないのだろう．

暇な時間にながめる．可換環論関係がくわしい．アーベル圏の定義が見かけ上弱い（加法圏，核・余核の存在，monoは余核の核，epiは核の余核）のが悩ましい．