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

Representable Functor isomorphic to (Bool -> a)

haskell monads category-theory

Which Haskell Functors are equivalent to the Reader functor

haskell functor category-theory

Are codatatypes really terminal algebras?

haskell type-systems category-theory coinduction

What is the 'minimum' needed to make an Applicative a Monad?

haskell functional-programming monads applicative category-theory

Is there a generalization of these Free-like constructions?

haskell category-theory free-monad

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
« Newer Entries Older Entries »