Simple examples to illustrate Category, Monoid and Monad?...

What does "a monad is a model of computation" mean...

Free Monad for AST > 1-arity?...

MonoidK and Monad relation...

Why must fmap map every element of a List?...

Does * in (<*>) have a special meaning?...

Is unique morphism `m` which maps "best" product type to "suboptimal" product ty...

Confusion in understanding horisontal composition of natural transformations...

How to create an fmap that can take a tuple of functions instead of just a single function?...

What is Representable used for in Haskell?...

Every monad is an applicative functor — generalizing to other categories...

`(a -> b) -> (c -> d)` in Haskell?...

Do the monadic liftM and the functorial fmap have to be equivalent?...

Haskell: Composition of morphisms in monoidal categories...

Where is the bifunctor for functions in haskell?...

The useful application of Functor's Product and Coproduct...

What does "lax" mean in "lax monoidal functor"?...

Why is this type annotation wrong?...

What is the purpose of `pure` in Applicative Functor...

What does the map function in the Applicative from Category theory do?...

Why Is Functor a Higher-Kinded type...

in Haskell, how do I derive: instance Category (Moore a b -> Moore b c)...

Confusing map function definition in Wadler's paper...

Are all Haskell functors endofunctors?...

Are List Int and List String the same category in Haskell/Category theory?...

How to undestand functors in the Nix expression language?...

Terminology of the Traversable concept...

Categorical structure in Haskell...

What kind of morphism is `filter` in category theory?...

Making multiple API calls in a functional way...