あすたーいずむ 5 months ago 夢に小学校高学年のときの担任の先生が出てきて、ちゃんと覚えているものだな、と思ったけれど、小学校低学年ときの先生だけさっぱり思い出せないことに気づいた。3 年生以降は顔もフルネームも思い出せるのに。申し訳ない……。
あすたーいずむ 5 months ago いろいろ活動している人を見るとウェブサイトとか作ってみたくなるが、それにはまだ知らないことがたくさんありすぎるな、などと思うと、結局は完璧主義がすべてを阻むことになる
あすたーいずむ 5 months ago indexed category は「添字付き圏」、cloven fibration は「劈開ファイブレーション」 分裂ファイブレーション — Avendia 分裂ファイブレーション分裂ファイブレーション ファイブレーションと添字付き圏 — Avendia ファイブレーションと添字付き圏ファイブレーションと添字付き圏
あすたーいずむ 5 months ago 本当は (pseudofunctor, pseudonatural transformation) の圏における同型（≠同値）がどうなっているかを観察すべきなのかな。2-圏のなかで同型を問うこと自体がちょっと……というのは正しいのだけど、ファイブレーションそのものを弱圏と厳密圏の区別の基礎に据えようという話もあるのだから、ここは拘ってもよいはず。
あすたーいずむ 5 months ago 今日のまとめ。まず 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-同値になる？
