Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in category-theory

Is there a term for a monad that is also a comonad?

haskell ocaml category-theory

Is this a meaningful generalization of `scan`s for arbitrary ADTs?

haskell category-theory type-theory

In what way is Scala's Option fold a catamorphism?

scala category-theory scala-option catamorphism recursion-schemes

Is the name of `liftM` inspired by lifts in mathematics? [closed]

haskell functional-programming terminology category-theory

Bicategories in Haskell

haskell typeclass category-theory

Every monad is an applicative functor — generalizing to other categories

haskell categories functor applicative category-theory

Free Applicative in Scala

scala haskell category-theory

Is there such thing as a bidistributive? What function do I need here?

haskell math category-theory bifunctor distributive

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

haskell typeclass applicative category-theory monoids

The useful application of Functor's Product and Coproduct

haskell functor category-theory

Where is the bifunctor for functions in haskell?

haskell category-theory

How does compiler figure out fixed point of a functor and how cata work at leaf level?

haskell category-theory recursion-schemes fixpoint-combinators catamorphism

Can two non-functors compose to a functor?

haskell composition functor applicative category-theory

Difference between initial and terminal objects in a category

haskell functional-programming category-theory

Monads from all angles - Mathematical, diagramatic and programmatical

haskell functional-programming monads category-theory

Do the monadic liftM and the functorial fmap have to be equivalent?

haskell category-theory

Why is there a distinction between co and contravariant functors in Haskell but not Category Theory?

haskell terminology functor category-theory

Where's the functor in the natural transformation?

haskell functor category-theory

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

haskell monads category-theory
« Newer Entries Older Entries »