Bifunctors in Haskell vs in ca...

haskellcategory-theorybifunctor

Read More
Forgetting Cofree annotations ...

haskellfunctional-programmingcategory-theoryrecursion-schemescatamorphism

Read More
What are free monads?...

haskellmonadscategory-theoryfree-monad

Read More
cats effect evaluates only the...

scalafunctional-programmingscala-catscategory-theorycats-effect

Read More
Is Last a free monoid?...

haskellfunctorcategory-theorymonoids

Read More
Why are monad transformers dif...

haskellmonadsmonad-transformerscategory-theory

Read More
Deriving a monad from a cofree...

haskellcategory-theorycomonad

Read More
How do I prove two application...

agdacategory-theorycubical-type-theory

Read More
Can one simplify the Codensity...

haskellmonadsdependent-typecontinuationscategory-theory

Read More
In Scala cats-laws, why is the...

scalafunctorscala-catscategory-theory

Read More
Why doesn't Haskell's ...

haskellcategory-theory

Read More
How to implement memoization i...

scalathread-safetyimmutabilitymemoizationcategory-theory

Read More
What does "coalgebra&quot...

scalahaskellfunctional-programmingcategory-theoryrecursion-schemes

Read More
Relation between `DList` and `...

listhaskellcategory-theory

Read More
Naturality of product functor ...

category-theory

Read More
Why Functor class has no retur...

mathhaskellmonadsfunctorcategory-theory

Read More
A monad is just a monoid in th...

haskellmonadscategory-theorymonoids

Read More
Can `Fix` and `(,)` be seen as...

haskellcompositionfunctorcategory-theory

Read More
Confused about why all morphis...

haskellfunctional-programmingcategory-theorymonoids

Read More
Indexed Initial algebras for G...

haskelltypesalgebraalgebraic-data-typescategory-theory

Read More
How to understand the universa...

haskellcategory-theoryforall

Read More
Why are traversals defined ove...

haskellcategory-theorytraversabledistributive

Read More
Does the term "Functor&qu...

functional-programmingprologfunctorcategory-theorylogic-programming

Read More
Lawvere's fixed point theo...

proofagdatheorem-provingcategory-theory

Read More
The identity monad as a free m...

scalahaskellmonadscategory-theoryfree-monad

Read More
What is the mathematical theor...

haskellmonadscategory-theory

Read More
The list monad is not a free m...

haskellmonadsagdacategory-theoryfree-monad

Read More
Morphism, product, coproduct o...

parsingfunctional-programmingoperatorsoperator-precedencecategory-theory

Read More
Is this property of a functor ...

haskellfunctional-programmingmonadsfunctorcategory-theory

Read More
Is monad bind (>>=) oper...

haskellfunctional-programmingbindmonadscategory-theory

Read More