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

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

It's not a monad, but what is it?

haskell monads category-theory

Composition of two functors is a functor

haskell functor category-theory

Generalization of strong and closed profunctors

haskell functor category-theory profunctor

How to define equality for Category instances?

haskell category-theory

Every monad is monoid?

haskell category-theory
« Newer Entries Older Entries »