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

Do monad transformers, generally speaking, arise out of adjunctions?

haskell monads monad-transformers category-theory

Products and coproducts in posets

product category-theory poset

What does "a monad is a model of computation" mean

haskell monads category-theory

How to Factorize Continuation Monad into Left & Right Adjoints?

haskell monads continuations category-theory comonad

What is exactly an indexed functor in Haskell and what are its usages?

haskell functional-programming functor category-theory

Why Functor class has no return function?

math haskell monads functor category-theory

Haskell: How is join a natural transformation?

haskell monads category-theory

What does "lax" mean in "lax monoidal functor"?

haskell applicative category-theory

Where do values fit in Category of Hask?

haskell category-theory

Is this property of a functor stronger than a monad?

haskell functional-programming monads functor 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
« Newer Entries Older Entries »