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

Categories library for Agda?

standard-library agda category-theory

Proper way to wrap selectively class instances (or "lift" functions like `sortBy`, `minimumBy`, ... automatically)

haskell category-theory

Is Behavior a Comonad?

haskell frp purescript category-theory

Why do Static Arrows generalise Arrows?

haskell applicative category-theory arrows

Is a state monad with two state variable types (in and out) still a monad?

monads state-monad category-theory

Granted a traversable F-Algebra, is it possible to have a catamorphism over an applicative algebra?

haskell category-theory catamorphism

Combining the state monad with the costate comonad

haskell functional-programming monads category-theory comonad

Reverse Function Composition in Haskell

haskell function-composition category-theory

Why Is Functor a Higher-Kinded type

scala category-theory

Generalized `fold` or how to perform `fold` and `map` at a time

haskell category-theory

What is the meaning of Extend type class in Haskell?

haskell category-theory abstract-algebra

What is difference between Coyoneda and free-functors

haskell category-theory

Why does Haskell have non-strict functions (semantics)? [closed]

haskell functional-programming computer-science category-theory

Is it possible to generalize this lmap

haskell functor category-theory

Is Haskell's `Const` Functor analogous to the constant functor from category theory?

haskell functor category-theory phantom-types

Are there a thing call "semi-monad" or "counter-monad"?

haskell monads category-theory

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

list haskell category-theory
« Newer Entries Older Entries »