minerva @minerva@mathtod.online

ツイッターをつくりました @gokujou_heaven

みねるばは今研究室のプロジェクトで正則言語の研究やってます

めっちゃ興味ある

やっぱりわからん，あれはなんだ

余帰納法がわからん

$F$ -始代数ってなんやねん

最近ベーシック圏論読了しました．GAFT の証明追ってないけど．

ベシ圏はそういう感じの問題多いですね．これって見たことあるでしょ？要するに何のこと？みたいな．

相互再帰の不動点コンビネータ https://mathlog.info/articles/2597 #Mathlog

ベーシック圏論も第 6 章までくるとむずかしい

余極限も余積を可換になるように割ってるだけや

（雑）とはいってもマジでそんな感じですよね実際

任意の（小）極限が積と equalizer で書けることをみて感動しました

いまベシ圏の 5 章よんでる

関手にそういう機能があるっぽいことがわかってきた

圏 $\mathcal{C}$ におけるこの形の図式！ってやりたいときはその形の図式のプロトタイプとなる圏からの関手を使えばいいっぽいな

$\mathbf{2}$ からの関手圏っぽさがある

コンマ圏がわかったようなわからないようなという感じ

計算理論の基礎は去年全部読んだよ

Pointless Topology をやりたいです俺も