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 functions of arity-n really just an n-category due to currying? Can they be made into a 1-category?

haskell currying category-theory arity

Natural Transformations From Reader Bool To Maybe

haskell functor category-theory

What is this special functor structure called?

haskell category-theory applicative

Is there any intuition to understand join two functions in Monad?

haskell functional-programming monads category-theory

What is Representable used for in Haskell?

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