Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
dominiczypen.wordpress.com
|
|
| | | | | The starting point of this blog post is a slight reformulation of the $latex T_0$ separation axiom: A topological space $latex (X,\tau)$ is $latex T_0$ if for all $latex x\neq y\in X$ there is a set $latex U\in \tau$ such that $latex \{x,y\}\cap U \neq \emptyset \text{ and } \{x,y\}\not\subseteq U.$ Given a cardinal $latex... | |
| | | | |
leanprover-community.github.io
|
|
| | | | | [AI summary] The article provides a technical overview of implementing category theory concepts, such as categories, functors, and natural transformations, using the Lean programming language. | |
| | | | |
cronokirby.com
|
|
| | | | | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/ | |
| | | | |
cuoichutdi.wordpress.com
|
|
| | | Liverpool v?a vô ??ch Premier League, ?i?u này t?o nên m?t th?ng kê thú v?: s? cúp vô ??ch c?a các ??i bóng t?o thành m?t dãy s? Fibonacci. ?i?u này là ng?u nhiên hay có m?t cách lí gi?i toán h?c ?n sau nó? Tôi biên bài báo ng?n v? dãy Fibonacci c?ng nh?... | ||
