Is every Alternative Monad Filterable?...

Background on Agda Categories library?...

Recursion scheme allowing dependencies between recursive calls (an ordered catamorphism?)...

Category Theory fundamentals...

Understanding of bifunctor from Category Theory for Programmers - Ch. 8...

Does each type have a unique catamorphism?...

What is monoid homomorphism exactly?...

How can we build explicit categories in Haskell?...

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR...

What type corresponds to a xor b in type theory?...

Messing around with category theory...

Equivalence relations are to Groups, as partial order relations are to...?...

Is Void an initial or zero element?...

Why can't I find any law violations for the NotQuiteCofree not-quite-comonad?...

What's a functor on the category of monads?...

How many different functions are there from Bool to Bool?...

Why are Monoidal and Applicative laws telling us the same thing?...

Initial algebra for natural numbers...

"Category laws" in Haskell wiki...

Functor implementation in JavaScript...

define Category in which arrows are parametrised functions using Coq...

What does a nontrivial comonoid look like?...

What is Applicative Functor definition from the category theory POV?...

Why is it fair to think of just locally small cartesian closed categories in Haskell for the Curry c...

Category theory to Computer Programming | Do objects map to Types or instances of Types?...

Type constructor parameter inference...

The intuition behind the definition of the co-reader monad...

Why can't ghc match these types on this Category product?...

How to do Left Void?...

How to it is a natural transformation?...