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