Sheaf

まだ、やってるんですが、

Γ : Functor ( top / X ) (HOD-OSCA (topology X) )

は、できたので反対側

L : Functor (HOD-OSCA (topology X) ) ( top / X )

をやってるんだが、位相空間を作らないといけない

それは関数の定義域の制限のFunctorの同値類でみたいな話

有限な ∩ と和集合ができればよいんだが、難航してたんだが

　　Functorだけでなく、その元になる関数に well defined な仮定がある

らしく、

　 FO-wld : (F : Functor OX HODSets) → Set (suc (suc n))
　 FO-wld F =　{a b c d : Obj OX}
　　　 → (b⊆a : SObj.s b ⊆ SObj.s a)　→ (d⊆c : SObj.s d ⊆ SObj.s c)
　　　 → {x y : Ordinal} → (ax : odef (FObj F a) x)　→ (cx : odef (FObj F c) y) → x ≡ y
　　　 → Func.func (FMap F {a} {b} b⊆a ) ax ≡ Func.func (FMap F {c} {d} d⊆c ) cx

の仮定を入れるとできるっぽい。でも、有限な ∩ の4つの方向の一つができただけなので、まだ、先が長い

でも、「なにやってるのか」を人に説明するのは無理っぽいので、プロシンには出さないつもりです

TEAVANA

スタバのお茶バージョン。ライカムのスタバがもう一軒ってわけで、寄ってみました

いつも頼んでる「English Breakfast, Non syrup」は、なさそう。メニューにはない。TEAVANAなのに

コヒーは一通りあるらしいんだが

アールグレイがあるので、それにしたんだけど「シロップ抜きにはできない」ん〜?

で、アイスが出てきて「沖縄はだまってればアイス」なのを思い出しました。ホットもあるらしい

もしかすると、English Breakfastもあるかも?! いや、まあ、もう少し探してみるか

いや、元の店にいけば良いだけではあるんだけど

蜘蛛

普天間基地の入り口あたり

気がついて、ちゃんと避けました

タンブラー

ずーっと昔に使っているのを引っ張り出してみました

最近のスタバは、洗ってくれないのか

カバンに入れるには大きいんだが、カバンの肩掛けベルトにつけるのも微妙

箸

東京にいった時に、かじってしまった箸の代わりをさがしてきました

「これよりも、長い箸が欲しいんだけど」
「あぁ、シンプルなのがいいのね。これは1600円」

まぁ、黒檀のとかも見たんだけど

　　1600円

には、負けました。それでいいや

スタバのチケット

なんか、1300くらい貯まってて、放っておいたら

　　期限が切れるから使え

という指令が。まぁ、一回分くらいだろと思ってたら、

　　500円分が130 stars

え、そんなに貯まってるわけ? 使うのが面倒くさい

Excelsior のコンセント

なんか書いてあるので、使うなって書いてあるのかと思ったら

　2時間まで

だった

スタバもコンセントは限られてる。長居する人もいるからなぁ

また、腰が

東京から戻ってくる途中は、地下鉄の階段が結構あって。CPAP持ち歩いているので

　ギクっと

まぁ、ちょっと痛いくらい

歩きながらなおす方針で

親戚付き合い

子供の頃から親しくしている従姉妹と叔母さん。東京にきた時には会いにいくようにしてます

まぁ、大事にされてた印象があるからかな

二人とも、結構な歳にはなったが、それは僕の未来でもある。でも、元気そうでなにより

なにごともなくすごせる、仕事している、それが偉いな

墓参り

天気はよい。暑くもない。少し迷ったが、見つけられました

小金井のお墓は父が亡くなった時に自分の名義になった

「お墓どうするの?」いとこにでも押し付ければいいかってところですけどね

別になにもしなくてもいいのだが、年間の維持費がある。だいぶ値上げされたが。たいした金額ではない

石材店におけがあずけてあって、そこによるとお花と一緒に2千円。それに何の意味があるのかは謎だが

　　子供の頃から、そうなので、そんなもの

妹は処分しようとしたが数百万円かかるのでやめたみたいなことを言ってたな。僕の名義なので忘れていいです

いとこは「八王子にあるお墓を、処分し忘れてた文京区のに移した」みたいな話もあった

祖母も「小金井は遠いから近くにわけた」みたいな話があったような気がするが、そっちは関係ない

妹が入れた卒塔婆もあった

羽田

台風だなと思ってたんだけど、18m/s なら大丈夫でしょ


で、実際、大丈夫だったんですが

　　　羽田のターミナル500m手前で停止

まぁ、よくあることと思ってたら

　　Thunder storm 2 の警告で空港業務は停止

で、50分止められました

まぁ、別にそれだけ。雨男にはよくある話

昭和演歌大全

すなつくなおみの常連さんがもってきてた

この辺は「スナックっぽい」んだよな

たまに、唄うのは良いよね

あっちの方では降ってる

なんか、土砂降りなんだが、超局地的