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

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

Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?

haskell monads category-theory free-monad monadplus

What type corresponds to a xor b in type theory?

haskell functional-programming category-theory curry-howard

Are the "natural transformations" we apply on Coyoneda to get a Functor actually "natural transformations"?

haskell category-theory

Is the concept of an "interleaved homomorphism" a real thing?

haskell functor category-theory comonad homomorphism

List based on right Kan extension

haskell category-theory

Where does the name "section" come from for a partially applied infix operator?

haskell category-theory

What mathematical duals are there in OO programming?

oop design-patterns category-theory

Structurally enforced Free Alternative, without left distributivity

haskell category-theory free-monad alternative-functor abstract-algebra

Functor is for (a -> b) -> (f a -> f b), what is for (Category c) => c a b -> c (f a) (f b)?

haskell category-theory

Representable Functor isomorphic to (Bool -> a)

haskell monads category-theory

Which Haskell Functors are equivalent to the Reader functor

haskell functor category-theory

Are codatatypes really terminal algebras?

haskell type-systems category-theory coinduction

What is the 'minimum' needed to make an Applicative a Monad?

haskell functional-programming monads applicative category-theory

Is there a generalization of these Free-like constructions?

haskell category-theory free-monad
« Newer Entries Older Entries »