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 does compiler figure out fixed point of a functor and how cata work at leaf level?

haskell category-theory recursion-schemes fixpoint-combinators catamorphism

Can two non-functors compose to a functor?

haskell composition functor applicative category-theory

Difference between initial and terminal objects in a category

haskell functional-programming category-theory

Monads from all angles - Mathematical, diagramatic and programmatical

haskell functional-programming monads category-theory

Do the monadic liftM and the functorial fmap have to be equivalent?

haskell category-theory

Why is there a distinction between co and contravariant functors in Haskell but not Category Theory?

haskell terminology functor category-theory

Where's the functor in the natural transformation?

haskell functor category-theory

Is there a non-identity monad morphism M ~> M that is monadically natural in M?

haskell monads category-theory

What are those class extensions for the Cartesian class for?

haskell category-theory monoids

What is the dual of a prism or an affine traversal?

haskell haskell-lens category-theory lenses

Why does mutual yielding make ArrowApply and Monads equivalent, unlike Arrow and Applicative?

haskell monads applicative category-theory arrows

Is every Alternative Monad Filterable?

haskell filter monads category-theory alternative-functor

Which terms is corresponding for Map, Filter, Foldable, Bind etc from Category Theory?

math functional-programming lambda-calculus category-theory

Why do initial algebras correspond to data and final coalgebras to codata?

haskell recursive-datastructures category-theory

What's a functor on the category of monads?

haskell monads monad-transformers category-theory

Definition of hoistfree

haskell category-theory

Concrete Type Example of a Functor that Fails to be an Applicative? [duplicate]

haskell category-theory

Scala -- How to use Functors on non-Function types?

function scala functional-programming functor category-theory

Showing that `newtype T a = T (a -> Int)` is a Type Constructor that is Not a Functor

haskell category-theory

Why is `((,) r)` a Functor that is NOT an Applicative?

haskell applicative category-theory
« Newer Entries Older Entries »