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

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

Why isn't there a simple syntax for coproduct types in Haskell?

haskell functional-programming computer-science category-theory

What would be the methods of a bi-comonad?

haskell category-theory comonad bifunctor

Defining Categories and Category Laws in Haskell

haskell category-theory category-abstractions

Does each type have a unique catamorphism?

haskell category-theory catamorphism

Why must fmap map every element of a List?

haskell functor scalaz category-theory scala-cats

What's the relation of fold on Option, Either etc and fold on Traversable?

scala functional-programming scalaz category-theory catamorphism

Functor instance for generic polymorphic ADTs in Haskell?

haskell recursion functor category-theory

What is the relationship between bind and join?

haskell monads category-theory
« Newer Entries Older Entries »