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

Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?

haskell monads category-theory free-monad monadplus

What type corresponds to a xor b in type theory?

haskell functional-programming category-theory curry-howard

Are the "natural transformations" we apply on Coyoneda to get a Functor actually "natural transformations"?

haskell category-theory

Is the concept of an "interleaved homomorphism" a real thing?

haskell functor category-theory comonad homomorphism

List based on right Kan extension

haskell category-theory

Where does the name "section" come from for a partially applied infix operator?

haskell category-theory

What mathematical duals are there in OO programming?

oop design-patterns category-theory

Structurally enforced Free Alternative, without left distributivity

haskell category-theory free-monad alternative-functor abstract-algebra

Functor is for (a -> b) -> (f a -> f b), what is for (Category c) => c a b -> c (f a) (f b)?

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