Categories, Monoids, and Preorders (in Lean 4) | Sam Schlesinger
Categories, Monoids, and Preorders (in Lean 4) | Sam Schlesinger
已浏览 2092 次3 周前
linkedin.com
Lecture 13: Monoids and categories
41:51
Lecture 13: Monoids and categories
已浏览 7 次2025年2月11日
bilibiliLamGalois
How Monoids are useful in Programming？
9:24
How Monoids are useful in Programming？
已浏览 628 次4 个月之前
bilibili帆影
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning: ACM SIGPLAN Notices: Vol 50, No 1
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning: ACM SIGPLAN Notices: Vol 50, No 1
2020年4月15日
acm.org
Modular Models of Monoids with Operations | Proceedings of the ACM on Programming Languages
Modular Models of Monoids with Operations | Proceedings of the ACM on Programming Languages
2023年9月4日
acm.org
Modular Models of Monoids with Operations | Proceedings of the ACM on Programming Languages
Modular Models of Monoids with Operations | Proceedings of the ACM on Programming Languages
2023年8月31日
acm.org
Mind Luster - Learn Monoid in Discrete Mathematics | Group Theory
7:39
Mind Luster - Learn Monoid in Discrete Mathematics | Group Theory
已浏览 1.3万 次2022年3月24日
mindluster.com
35:28
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
已浏览 256 次2023年12月27日
bilibili筑桥者Hagi
22:37
Monoids ｜ Group theory episode 1
已浏览 118 次2024年4月26日
bilibili帆影
1:13:54
KOS - Meusburger - Mapping class group actions from Hopf monoids
已浏览 61 次2022年8月23日
bilibiliAmbiel_Wang
18:50
monoid
已浏览 36 次2024年12月27日
bilibiliisomoes
1:13:00
陈诚：Semigroup C*-algebras arising from graphs of monoids
已浏览 346 次2023年6月21日
bilibili哈工大数学研究院IASM
Amazon.com: Ideal Theory of Commutative Rings and Monoids (Lecture Notes in Mathematics Book 2368) eBook : Halter-Koch, Franz, Geroldinger, Alfred, Reinhart, Andreas: Kindle Store
11 个月之前
amazon.com
Congruences on a Semilattice of Inverse Monoids | Proceedings of the 2nd International Conference on Big Data Technologies
2 个月之前
acm.org
48:25
جلسه 3.1: مثالهایی از رسته(Examples of categories, orders, monoids)
已浏览 26 次2020年4月25日
aparat.comموبیوس نات
31:30
Monoidal Categories and Their Representations (Fall 2022)
已浏览 519 次2024年11月1日
bilibili他方星云
[Bartosz Milewski] Category Theory for Programmers II
已浏览 116 次2022年9月10日
bilibiliMyEncyclopedia公号
58:51
Paul Levy - 何为幺半群?
已浏览 446 次1 个月前
bilibili筑桥者Hagi
Show that there are exactly two monoids on the set S={e,a}, whe... | Filo
11 个月之前
askfilo.com
1:40
Monoids foil Doctor's escape - Doctor Who The Ark - BBC
已浏览 8 次2019年1月26日
FANDOM
11:48
程序员范畴论 Scala版本 自由幺半群 --自由幺半群是只进行了最低限度标识的幺半群。
已浏览 546 次2024年2月28日
bilibiliyztaoj
1:07:22
Richard Garner - 泛充实化
已浏览 345 次4 个月之前
bilibili筑桥者Hagi
Capcom Fighting Evolution OST - Heat Haze (Theme of Ingrid)
已浏览 12 次2018年10月28日
FANDOM
1:58:44
朱莉娅·扎伊采娃: 余秩为一的仿射幺半群
已浏览 2.1万 次2023年4月5日
bilibili自然造字师斯庙算多
1:08:02
全纯曲线理论中的代数结构, 美国国家数学科学研究所
已浏览 2177 次2021年1月6日
bilibiliTeichmuller
1:05:49
Jonathan Weinberger - Directed univalence and the Yoneda embedding for ...
已浏览 256 次2025年3月7日
bilibili筑桥者Hagi
展开