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's the history behind the Functor type class?

haskell functor category-theory

Does * in (<*>) have a special meaning?

haskell operators naming-conventions applicative category-theory

What is a purpose of Zap Functor and zap function in Haskell?

haskell functional-programming functor higher-order-functions category-theory

Is this an accurate example of a Haskell Pullback?

haskell category-theory

How is "a monoid on applicative functors" different than "a monoid in the category of endofunctors"?

monads functor applicative category-theory monoids

What kind of morphism is `filter` in category theory?

scala haskell functional-programming category-theory

Name for a type constructor that is both a category and a monad?

haskell agda category-theory

Can I implement this newtype as a composition of other types?

haskell category-theory type-theory type-kinds polykinds

Every free monad over a ??? functor yields a comonad?

haskell monads category-theory free-monad comonad

Use cases for adjunctions in Haskell

haskell functor category-theory

How much is applicative really about applying, rather than "combining"?

haskell type-constraints applicative category-theory

What are some types that discriminate between categories?

haskell functional-programming category-theory

could someone explain the connection between type covariance/contravariance and category theory?

covariance contravariance type-theory category-theory

Identity function in Haskell has multiple inhabitants?

haskell category-theory

Once I have an F-Algebra, can I define Foldable and Traversable in terms of it?

haskell category-theory recursion-schemes

Don't understand notation of morphisms in Monoid definition

haskell category-theory monoids

Why is `pure` only required for Applicative and not already for Functor? [duplicate]

haskell functor category-theory

What is the main difference between Free Monoid and Monoid?

haskell functional-programming category-theory monoids

Can I model a list of successes with short circuiting failure via the composition of applicative functors?

haskell algebra applicative category-theory non-deterministic

How are uncurry and fanin related in category theory?

haskell category-theory
« Newer Entries Older Entries »