indexed category の奇妙さがどこにあるのかが引っ掛かっている。「同じ fibration だが cleavage が異なる」状況と、「違う fibration だが fibered equivalent」な状況の間の区別がつぶれているのかな。うーん。
ファイブレーションから自然に作られる方が lax
lax functor の変換の向きがずっと覚えられない
はあ、ああ
私は綺麗な世界だけを見ていたいのではないか(数学、日常系アニメなど)
人が怖い
数学をしよう
分析麻痺がつらすぎる!(テレビアニメ)
うあー