会話は面白いので読むときは大体ニヤニヤしている
あすたーいずむ
npub15glt...k87e
引き算
たまにパブリックタイムラインを追うと、ちゃんと会話の流れが成立したりしていて、会話だなあとなる（？）
自分で何も決められない
おえーっ
うあー あー！
あ〜〜、無理だ
てんちゃんやったるでチャンネルの動画を見たら抑圧していた何かを刺激されて気が狂いそうになった
あの塾の教材って本当に優秀なんだなあと思った
あなたの子供は大丈夫？ """絶対無職になってしまう子供の特徴"""に涙が止まらない…【子ガチャ大失敗】 - YouTube
確かに amnesia って聞いたことあるかも
そうなんだ
「なお、この「健忘」の「健」は「甚だ」の意であり、「健闘」の「健」と同様である。」
健忘 - Wikipedia
健忘 - Wikipedia
げ、タブレットが充電されてない……
amnestic って医学用語では「健忘」なんだ。健忘関手。
夢に小学校高学年のときの担任の先生が出てきて、ちゃんと覚えているものだな、と思ったけれど、小学校低学年ときの先生だけさっぱり思い出せないことに気づいた。3 年生以降は顔もフルネームも思い出せるのに。申し訳ない……。
突っ込みどころの多い夢を見た
寝ましょうか。寝ましょう
いろいろ活動している人を見るとウェブサイトとか作ってみたくなるが、それにはまだ知らないことがたくさんありすぎるな、などと思うと、結局は完璧主義がすべてを阻むことになる
indexed category は「添字付き圏」、cloven fibration は「劈開ファイブレーション」
分裂ファイブレーション — Avendia
ファイブレーションと添字付き圏 — Avendia
分裂ファイブレーション
自然言語と数理科学の学習ノート
ファイブレーションと添字付き圏
自然言語と数理科学の学習ノート
本当は (pseudofunctor, pseudonatural transformation) の圏における同型（≠同値）がどうなっているかを観察すべきなのかな。2-圏のなかで同型を問うこと自体がちょっと……というのは正しいのだけど、ファイブレーションそのものを弱圏と厳密圏の区別の基礎に据えようという話もあるのだから、ここは拘ってもよいはず。
今日のまとめ。まず fibration の 2-圏が少なくとも 3 種類（2-cell は省略）：
- fibration, fibered functor
- cloven fibration, cleavage preserving functor
- split fibration, split preserving functor
indexed category の 2-圏も 3 種類：
- pseudofunctor, pseudonatural transformation
- pseudofunctor, natural transformation
- functor, natural transformation
2 番目どうし、3 番目どうしが 1-同値になるが、それ以外は全部 2-同値になる？
UNO の公式ルールってポイントが重要になってきてなんだか麻雀っぽいなという感想を抱いた記憶がある