/explore
|
You are here 
|
jackkelly.name | ||
| | | | |
bartoszmilewski.com
Previously: Kan Extensions in Double Categories. In programming, actegories play a central role in optics: lenses, prisms, traversals, etc. To understand actegories, let's start with the definition of a monoidal category. Monoidal Category A monoidal category $latex \mathbf M$ is a category equipped with a tensor product. A tensor product is a functor $latex \otimes... |
|
| | | | | ||
| | | | |
www.stephendiehl.com
|
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
www.yodaiken.com
|
|
| | | |||
