Explore >> Select a destination


You are here

www.math3ma.com
| | cronokirby.com
3.9 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | blog.sigfpe.com
7.2 parsecs away

Travel
| | [AI summary] The post explores the relationship between Haskell's do-notation and category theory, arguing that it serves as an internal language for reasoning within categories equipped with monads.
| | www.jeremykun.com
4.7 parsecs away

Travel
| | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language.
| | extremal010101.wordpress.com
40.6 parsecs away

Travel
| With Alexandros Eskenazis we posted a paper on arxiv "Learning low-degree functions from a logarithmic number of random queries" exponentially improving randomized query complexity for low degree functions. Perhaps a very basic question one asks in learning theory is as follows: there is an unknown function $latex f : \{-1,1\}^{n} \to \mathbb{R}$, and we are...