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

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

Is Last a free monoid?

haskell functor category-theory monoids

Why prefer monoids over semigroups in Haskell? Why do we need mempty?

haskell functional-programming category-theory

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?

haskell functional-programming boolean-logic category-theory curry-howard

Do all Type Classes in Haskell Have a Category Theoretic Analogue?

haskell category-theory

How to prove basic sequence properties

haskell category-theory

Higher order Functors in scala

scala haskell category-theory

Defining Free Bind in a way that is compatible with the Free Monad

haskell category-theory free-monad

What is the general case of QuickCheck's promote function?

haskell functional-programming functor quickcheck category-theory

What means precisely "function inside a functor"

haskell category-theory

Are haskell data types co-algebras by default?

haskell category-theory

Why can't I find any law violations for the NotQuiteCofree not-quite-comonad?

haskell category-theory comonad

Is (\f -> fmap f id) always equivalent to arr?

haskell functor category-theory arrows category-abstractions

Applying Semantics to Free Monads

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