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

Foldable, Monoid and Monad

haskell category-theory foldable

What's the relationship between profunctors and arrows?

haskell functor category-theory arrows profunctor

Can a monad be a comonad?

haskell category-theory

Step by Step / Deep explain: The Power of (Co)Yoneda (preferably in scala) through Coroutines

scala haskell category-theory

To what extent are Applicative/Monad instances uniquely determined?

haskell monads functor applicative category-theory

What are zygo/meta/histo/para/futu/dyna/whatever-morphisms?

haskell functional-programming combinators category-theory

Resources for learning category theory [closed]

math haskell category-theory

What is Applicative Functor definition from the category theory POV?

haskell applicative category-theory

What are Haskell's monad transformers in categorical terms?

haskell monad-transformers category-theory

Can liftM differ from liftA?

haskell theory typeclass category-theory

Are all Haskell functors endofunctors?

haskell functor category-theory

Lax monoidal functors with a different monoidal structure

haskell functor applicative category-theory alternative-functor

Difference between free monads and fixpoints of functors?

haskell category-theory free-monad fixpoint-combinators

Do Hask or Agda have equalisers?

haskell agda category-theory

What are the adjoint functor pairs corresponding to common monads in Haskell?

haskell category-theory

Arrows are exactly equivalent to applicative functors?

haskell applicative arrows category-theory

Does the free monad always exist?

haskell category-theory free-monad

What does a nontrivial comonoid look like?

haskell category-theory

Simple examples to illustrate Category, Monoid and Monad?

haskell monads category-theory monoids

What is a monad in FP, in categorical terms?

haskell functional-programming monads category-theory
« Newer Entries Older Entries »