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

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

What kind of morphism is `filter` in category theory?

scala haskell functional-programming category-theory

Name for a type constructor that is both a category and a monad?

haskell agda category-theory

Can I implement this newtype as a composition of other types?

haskell category-theory type-theory type-kinds polykinds

Every free monad over a ??? functor yields a comonad?

haskell monads category-theory free-monad comonad

Use cases for adjunctions in Haskell

haskell functor category-theory
« Newer Entries Older Entries »