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

It's not a monad, but what is it?

haskell monads category-theory

Composition of two functors is a functor

haskell functor category-theory

Generalization of strong and closed profunctors

haskell functor category-theory profunctor

How to define equality for Category instances?

haskell category-theory

Every monad is monoid?

haskell category-theory

Why isn't there a simple syntax for coproduct types in Haskell?

haskell functional-programming computer-science category-theory

What would be the methods of a bi-comonad?

haskell category-theory comonad bifunctor

Defining Categories and Category Laws in Haskell

haskell category-theory category-abstractions

Does each type have a unique catamorphism?

haskell category-theory catamorphism

Why must fmap map every element of a List?

haskell functor scalaz category-theory scala-cats

What's the relation of fold on Option, Either etc and fold on Traversable?

scala functional-programming scalaz category-theory catamorphism

Functor instance for generic polymorphic ADTs in Haskell?

haskell recursion functor category-theory

What is the relationship between bind and join?

haskell monads category-theory

What's the history behind the Functor type class?

haskell functor category-theory

Does * in (<*>) have a special meaning?

haskell operators naming-conventions applicative category-theory

What is a purpose of Zap Functor and zap function in Haskell?

haskell functional-programming functor higher-order-functions category-theory

Is this an accurate example of a Haskell Pullback?

haskell category-theory

How is "a monoid on applicative functors" different than "a monoid in the category of endofunctors"?

monads functor applicative category-theory monoids
« Newer Entries Older Entries »