inflationが合成で閉じる仮定ってどれぐらい強いんだろ #tsudoionline #tsudoionline2
2021-09-18 11:29:38弱完全圏での蛇の補題の証明アツすぎる… 今度やってみよう(できるかわかりませんが) #tsudoionline2
2021-09-18 11:29:42正則エピ射⇔deflationとするような弱完全圏をweakly homologicalという #tsudoionline #tsudoionline2
2021-09-18 11:31:21Grpはalgebraic categoryなのでregularであることはwell-knownです #tsudoionline #tsudoionline2
2021-09-18 11:32:33Grpのadmissible morphismは像が正規部分群である準同型らしい #tsudoionline #tsudoionline2
2021-09-18 11:39:37実は定義から導出できる可能性もあるのかな #tsudoionline #tsudoionline2 twitter.com/piano2683/stat…
2021-09-18 11:45:32BeamerとTikZは作者が同じで相性がよく、Beamerにおける\pauseなどはtikzpicture環境でも使える #tsudoionline #tsudoionline2
2021-09-18 11:46:05任意の射が admissible みたい強そうな仮定付けると実はアーベル圏になってしまったりしないのかな #tsudoionline #tsudoionline2
2021-09-18 11:48:27\usetikzlibrary{overlay-beamer-styles} 便利そう #tsudoionline #tsudoionline2
2021-09-18 11:50:38\usetikzlibrary{overlay-beamer-styles} めっちゃ便利じゃん #tsudoionline #tsudoionline2
2021-09-18 11:51:5425枚のスライドを一つのtikzpictureで実現してるのwwwww #tsudoionline #tsudoionline2
2021-09-18 11:54:19