sou7's Vault
検索
Search
ダークモード
ライトモード
Home
❯
数学
❯
圏論
フォルダ: 数学/圏論
19件のページ
2024年7月16日
充満関手は、対象について本質的に全射と考えてしまいがち
2024年7月16日
一般的な射の話をしているのに写像で考えてしまいがち
2024年7月16日
射はドメインとコドメインで決まるわけではない
2024年7月16日
自然変換
2024年7月09日
恒等射
2024年6月30日
Hom
2024年6月19日
Hask圏
2024年6月19日
自己関手
2024年6月19日
型と関数の圏
2024年6月19日
圏論勉強会 @ ワークスアプリケーションズ
2024年6月19日
自己関手と自然変換を使ったモナドの説明
2024年6月19日
計算作用
2024年6月15日
いろいろな圏
2024年6月15日
合成射
2024年6月15日
対象
2024年6月15日
射
2024年6月02日
可換図式
2024年6月02日
圏
2024年6月02日
集合圏