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

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

Categorical structure in Haskell

haskell category-theory

Do the functor laws prove complete preservation of structure?

haskell functional-programming category-theory

Are all fixed size containers strong monoidal functors, and/or vice versa?

haskell functor applicative category-theory

What exactly is a category?

scala haskell category-theory

Initial algebra for rose trees

haskell recursion algebra algebraic-data-types category-theory
« Newer Entries Older Entries »