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 is a cocartesian comonoid, and what is a cocartesian comonoidal functor?

haskell applicative category-theory monoids distributive

Is there any general functor (not limited to endofunctor) usage in programming? [closed]

javascript haskell functor category-theory

Lambda Calculus vs Category theory in FP [closed]

haskell functional-programming lambda-calculus category-theory

How to understand constraints of PFunctor in categories library

haskell categories ghc category-theory

Why is FunctionK not the same as a Natural Transformation

scala scala-cats category-theory

How are functors in Haskell related to functors in category theory?

haskell functor category-theory

Bifunctors in Haskell vs in category theory

haskell category-theory bifunctor

What are the identities categorical monads enforce that Haskell monads don't?

haskell monads category-theory

Why is function with useless isolated `static` considered impure?

c++ functional-programming category-theory

Is a C++ functor a functor in the sense of category theory?

c++11 category-theory

Do all the function types form a subcategory of `Hask`?

haskell types programming-languages computer-science category-theory

Do notation and Monad composition

haskell category-theory abstract-algebra

Understanding the diagrams of Product and Coproduct

scala haskell tuples category-theory either

What is the category-theoretical basis for the requirement that the Haskell "id" function must return the same value as passed in?

haskell category-theory

Categories library for Agda?

standard-library agda category-theory

Relation between `DList` and `[]` with Codensity

list haskell category-theory
Older Entries »