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

Haskell: Control.Category.Monoidal: inverse of associate, idl and idr

haskell category-theory

In the category of sets, why are singleton sets terminal?

category-theory set-theory

Monad and Functor law for Monad and Functor type class in Haskell

haskell functional-programming monads functor category-theory

Monad: Why does Identity matter, what's going to happen if there's no such special member in a set?

monads category-theory monoids abstract-algebra

Not quite understand `F(1A) = 1F(A) ∀ A ∈ C1` as the Functor law

scala functional-programming functor category-theory

How to understand Setoid definition of category?

rocq-prover category-theory

Applicative instance for sets (nested lists)

haskell applicative category-theory

curry is the factorizer for the universal construction

haskell category-theory

Is there a Monoid equivalent of Bifunctor?

haskell typeclass category-theory

Forgetting Cofree annotations using a catamorphism

haskell functional-programming category-theory recursion-schemes catamorphism

Is the type constructor `Maybe (BTree a)` a monad?

haskell functional-programming monads 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
Older Entries »