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

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

What is monoid homomorphism exactly?

scala haskell functional-programming category-theory monoids

Is there a monad that doesn't have a corresponding monad transformer (except IO)?

haskell monads monad-transformers category-theory

Monads as adjunctions

haskell monads functor category-theory

Real-world applications of zygohistomorphic prepromorphisms

haskell functional-programming category-theory

What does "coalgebra" mean in the context of programming?

scala haskell functional-programming category-theory recursion-schemes

What are free monads?

haskell monads category-theory free-monad

A monad is just a monoid in the category of endofunctors, what's the problem?

haskell monads category-theory monoids
« Newer Entries