そう、データベース化に力を入れすぎて管理コストが大変なことになっている Zotero をなんとかせねば

ところで fibered category の日本語訳を知らない。単に「ファイブレーション」という人が多いのかな

fibered category の essentially algebraic theory を考えて（つまりまず strict category で考えて）それをもう一度 category とみなします、みたいなの、本当にうまくいくならすごすぎる

「コヒーレンスの問題なんて存在しない！　はい無限圏無限圏！」と言われると「あっはいソウデスヨネスミマセン……」ってなるんだけど、fibered category をみると、やっぱり 1-圏にもそれなりにちゃんと非自明で意味のある機微があるんじゃないかにゃあという気がする　気がするだけ

んぬぬぬ

fibered category 信者になりつつあり、そのためにもちゃんと使えるようにならねば

どうせ整理して書き直さなきゃなのでなんだかなあ

セミナー準備により 5 ページの文書が錬成された

さてセミナー準備

パティスリーガールズの最後の方ほんとに涙が出てくる