How is "a monoid on applicative functors" different than "a monoid in the category of...

Having trouble translating code from Haskell to SML...

Identity function in Haskell has multiple inhabitants?...

How to Factorize Continuation Monad into Left & Right Adjoints?...

Are all fixed size containers strong monoidal functors, and/or vice versa?...

Why is function with useless isolated `static` considered impure?...

Do all the function types form a subcategory of `Hask`?...

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 `<*>,<$>,<&>`...

Relation between the Semigroupoid and Semigroup classes...

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

Generalization of Exponential Type...

Defining Categories and Category Laws in Haskell...