Is there a non-identity monad morphism M ~> M that is monadically natural in M?...

How to define free monads and cofree comonads in Lean4?...

How can I implement a Functor trait in Rust?...

Don't understand notation of morphisms in Monoid definition...

Is this property of a functor stronger than a monad?...

Products and coproducts in posets...

Bifunctors in Haskell vs in category theory...

Forgetting Cofree annotations using a catamorphism...

What are free monads?...

cats effect evaluates only the final for coprehension and ignores rest...

Is Last a free monoid?...

Why are monad transformers different to stacking monads?...

Deriving a monad from a cofree comonad...

How do I prove two applications of the absurd pattern result in the same in Cubical Agda?...

Can one simplify the Codensity monad on Maybe?...

In Scala cats-laws, why is the functor composition law different from canonical definition?...

Why doesn't Haskell's `Functor` instance define a "return-like" function?...

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

A monad is just a monoid in the category of endofunctors, what's the problem?...

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