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

How much is applicative really about applying, rather than "combining"?

haskell type-constraints applicative category-theory

What are some types that discriminate between categories?

haskell functional-programming category-theory

could someone explain the connection between type covariance/contravariance and category theory?

covariance contravariance type-theory category-theory

Identity function in Haskell has multiple inhabitants?

haskell category-theory

Once I have an F-Algebra, can I define Foldable and Traversable in terms of it?

haskell category-theory recursion-schemes

Don't understand notation of morphisms in Monoid definition

haskell category-theory monoids

Why is `pure` only required for Applicative and not already for Functor? [duplicate]

haskell functor category-theory

What is the main difference between Free Monoid and Monoid?

haskell functional-programming category-theory monoids

Can I model a list of successes with short circuiting failure via the composition of applicative functors?

haskell algebra applicative category-theory non-deterministic

How are uncurry and fanin related in category theory?

haskell category-theory

Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category?

haskell currying category-theory arity

Natural Transformations From Reader Bool To Maybe

haskell functor category-theory

What is this special functor structure called?

haskell category-theory applicative

Is there any intuition to understand join two functions in Monad?

haskell functional-programming monads category-theory

What is Representable used for in Haskell?

haskell functor category-theory

What is the purpose of `pure` in Applicative Functor

haskell applicative category-theory

Example of non-trivial functors

haskell functor category-theory

Free group monad

haskell monads category-theory

The fixed point functors of Free and Cofree

haskell category-theory free-monad fixpoint-combinators

If MonadPlus is the "generator" class, then what is the "consumer" class?

loops haskell category-theory haskell-pipes monadplus
« Newer Entries Older Entries »