/explore
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
blog.ploeh.dk
A functor is a common abstraction. While typically associated with functional programming, functors exist in C# as well. |
|
| | | | | ||
| | | | |
www.jeremykun.com
Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves? |
|
| | | | | ||
| | | | |
blog.sigfpe.com
[AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code. |
|
| | | | | ||
| | | | |
processalgebra.blogspot.com
As I hope many members of the theoretical computer science community know, LIPIcs, Leibniz International Proceedings in Informatics, is a s... |
|
| | | |||
