How to implement memoization in Scala without mutability?...

What does "coalgebra" mean in the context of programming?...

Relation between `DList` and `[]` with Codensity...

Naturality of product functor morphisms...

Why Functor class has no return function?...

Can `Fix` and `(,)` be seen as functors in some sense?...

Confused about why all morphisms for a monoid are not the same as the identity morphism...

Indexed Initial algebras for GADTs...

How to understand the universal quantification in Yoneda's natural isomorphism?...

Why are traversals defined over Applicatives, fundamentally?...

Does the term "Functor" in Prolog have any relation to the term taken from Category Theory...

Lawvere's fixed point theorem in agda...

The identity monad as a free monad...

What is the mathematical theory or theorem underlying join of monad?...

The list monad is not a free monad but …...

Morphism, product, coproduct operator precedence and associativity...

Is monad bind (>>=) operator closer to function composition (chaining) or function application...

Are codatatypes really terminal algebras?...

How are Haskell Monad laws derived from Monoid laws?...

Lambda Calculus vs Category theory in FP...

Is Haskell's `Const` Functor analogous to the constant functor from category theory?...

Reader functor in C++...

What is the main difference between Free Monoid and Monoid?...

Is there any general functor (not limited to endofunctor) usage in programming?...

Is every type constructor (`Type -> Type`) some kind of functor...

Composing F-Algebra[F, A] to F-Algebra[F, Seq[A]]...

Structurally enforced Free Alternative, without left distributivity...

If MonadPlus is the "generator" class, then what is the "consumer" class?...

Lax monoidal functors with a different monoidal structure...

Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?...