Pinned post

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

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

minerva boosted

「Muller-Schuppの定理」のpdfの第II部を公開しました!
iso.2022.jp/math/muller-schupp
第II部では群の種々の構成法(自由群,自由積,融合積,半直積,HNN拡大)を普遍性と書き換え系という2つの観点から取り扱い,さらに本稿の主役である群の語の問題を定義します.

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

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

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

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

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

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

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

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

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

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

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

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

Pointless Topology をやりたいです俺も

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.