/explore
|
You are here 
|
qchu.wordpress.com | ||
| | | | |
blog.sigfpe.com
|
|
| | | | | [AI summary] The article explains profunctors in Haskell, their mathematical foundations, composition through coends, and their relationship to Arrows and tensors. | |
| | | | |
bartoszmilewski.com
|
|
| | | | | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative... | |
| | | | |
www.jeremykun.com
|
|
| | | | | Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that "plays nicely" with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved. | |
| | | | |
eranstiller.com
|
|
| | | Unlock your career potential in 2023! Discover the 75 top software engineering skills you need to stand out in the tech industry. Start learning today! | ||
