Cats' Monoid instance throws exception when merging Maps of Arrays...

Why prefer monoids over semigroups in Haskell? Why do we need mempty?...

How does lifting (in a functional programming context) relate to category theory?...

What are the identities categorical monads enforce that Haskell monads don't?...

What is a Constant functor?...

How the identity functor looks like?...

What does the universe mean?...

What is the relationship between bind and join?...

How are functors in Haskell related to functors in category theory?...

How does compiler figure out fixed point of a functor and how cata work at leaf level?...

Generalization of strong and closed profunctors...

The fixed point functors of Free and Cofree...

Attach extra information at every level of a recursive data type?...

Use cases for adjunctions in Haskell...

Efficient implementation of Catamorphisms in Scala...

Simple encoding of category of sets and functions in Agda...

What is partial order?...

Defining Free Bind in a way that is compatible with the Free Monad...

meaning of `<>` in this family `<*>,<$>,<&>`...

What's the relationship between profunctors and arrows?...

Is (\f -> fmap f id) always equivalent to arr?...

Relation between the Semigroupoid and Semigroup classes...

Is there a reason that `Functor` is not a superclass of `Category`?...

Control.Category, what does >>> and <<< mean?...

Generalization of Exponential Type...

Defining Categories and Category Laws in Haskell...

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...