ありがたい
これは（タイトルから想起される）イベントとは無関係に有用なまとめ
群の下にアーベル群を置いて、環の下に半環を置く箇条書きのところ、それぞれの圏の間にある忘却関手の向きを考えるとむず痒くなるな。
関数型まつり2025で出たトピックの前提知識とか
ありがたい
これは（タイトルから想起される）イベントとは無関係に有用なまとめ
群の下にアーベル群を置いて、環の下に半環を置く箇条書きのところ、それぞれの圏の間にある忘却関手の向きを考えるとむず痒くなるな。