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 do I show that a Haskell type is inhabited by one and only one function?

haskell category-theory type-theory

Open Type Level Proofs in Haskell/Idris

haskell proof category-theory correctness idris

What are "vocabulary types", and how many exist?

types functional-programming programming-languages category-theory type-theory

High-Order ScalaCheck

scala specifications category-theory scalacheck

Is there a theory that combines category theory/abstract algebra and computational complexity?

haskell complexity-theory category-theory abstract-algebra

Do monad transformers, generally speaking, arise out of adjunctions?

haskell monads monad-transformers category-theory

Products and coproducts in posets

product category-theory poset

What does "a monad is a model of computation" mean

haskell monads category-theory

How to Factorize Continuation Monad into Left & Right Adjoints?

haskell monads continuations category-theory comonad

What is exactly an indexed functor in Haskell and what are its usages?

haskell functional-programming functor category-theory

Why Functor class has no return function?

math haskell monads functor category-theory

Haskell: How is join a natural transformation?

haskell monads category-theory

What does "lax" mean in "lax monoidal functor"?

haskell applicative category-theory

Where do values fit in Category of Hask?

haskell category-theory

Is this property of a functor stronger than a monad?

haskell functional-programming monads functor category-theory

Foldable, Monoid and Monad

haskell category-theory foldable

What's the relationship between profunctors and arrows?

haskell functor category-theory arrows profunctor

Can a monad be a comonad?

haskell category-theory

Step by Step / Deep explain: The Power of (Co)Yoneda (preferably in scala) through Coroutines

scala haskell category-theory

To what extent are Applicative/Monad instances uniquely determined?

haskell monads functor applicative category-theory
« Newer Entries Older Entries »