いいのか？（修論）
そもそも自分は研究をしているのかよくわからなくて、まだ勉強しかしていない気がする、負い目もないしそこそこ楽しいのでいいけど……
「新規の結果出すのってどう考えても無理じゃない？」と「めっちゃ頑張って運がよければ案外行けるのか？」の間を揺れ動いている
研究の進捗は……あんまりない……😞
DiscFib → Cat の reindexing functor の左右の随伴が Kan 拡張ですものね！ すごいぞこれは
Fib → Cat がいい性質を持ってて欲しい気持ちかなりわかるかも、だって前層圏は全部トポスなんだものねえ、そりゃあねえ
などと……
前層は全部フェイク、discrete fibration こそが本物
display indexing 推進運動
運動習慣がないんだけど、運動しなくても人間って大丈夫なのかな……と不安になることがある
