t_wの輪郭

圏

2026/5/7 12:35:00

やさしい圏論対象対象が一つだけの圏はモノイドモノイド射『圏と関手【圏論とモナド #1 / 数学解説】』圏論

やさしい圏論

2026/5/19 10:58:00

『プログラミング世界に見る圏 — カリー化で繋がる。プログラマ向け圏論入門 2 - YouTube...やさしいモナド『圏とは？プログラマに人気と噂の圏について話します。プログラマ向け圏論入門 1 - YouTube...

圏モノイド

対象が一つだけの圏はモノイド

2026/5/7 12:53:00

『圏とは？プログラマに人気と噂の圏について話します。プログラマ向け圏論入門 1 - YouTube...

対象

2026/5/7 12:53:00

対象が一つだけの圏はモノイド

モノイド

2024/11/1 5:29:00

対象が一つだけの圏はモノイド『「モノイドとしての自己」と分人主義 - d-sake-u』可換モノイド

射

2024/7/23 10:20:00

『圏と関手【圏論とモナド #1 / 数学解説】』

『圏と関手【圏論とモナド #1 / 数学解説】』

2024/7/23 10:19:00

https://youtu.be/I6HxnynPkSA

論わからん分からん圏圏

圏論

2023/9/29 5:54:00

わからん

『プログラマーのための圏論』やさしい圏論対象『プログラマーのための圏論』圏論的宇宙モナドプログラミングするには、まず圏論♪『佐藤桂「対数の存在について」 - Togetter [トゥギャッター]』『圏論とは何か – はじまりはKan拡張』値域定義域射『圏と関手【圏論とモナド #1 / 数学解説】』『圏論 | 壱大整域』Kan拡張『すべての概念はKan拡張である』『圏と表現論』Awodey『圏論』『圏論の基礎』『ベーシック圏論』