علامة category-theory - هذه الصفحة 3 - GeneraCodice

Can a monad be a comonad?

https://www.generacodice.com/ar/articolo/7829401/can-a-monad-be-a-comonad
  haskell  -  category-theory
StackOverflow StackOverflow

Every monad is monoid?

https://www.generacodice.com/ar/articolo/7826353/every-monad-is-monoid
  haskell  -  category-theory
StackOverflow StackOverflow

What is this special functor structure called?

https://www.generacodice.com/ar/articolo/7444866/what-is-this-special-functor-structure-called
  haskell  -  category-theory  -  applicative
StackOverflow StackOverflow

What does "coalgebra" mean in the context of programming?

https://www.generacodice.com/ar/articolo/7348261/what-does-coalgebra-mean-in-the-context-of-programming
  functional-programming  -  haskell  -  scala  -  category-theory  -  recursion-schemes
StackOverflow StackOverflow

Applying Semantics to Free Monads

https://www.generacodice.com/ar/articolo/7272325/applying-semantics-to-free-monads
  functional-programming  -  haskell  -  category-theory  -  free-monad
StackOverflow StackOverflow

Simple examples to illustrate Category, Monoid and Monad?

https://www.generacodice.com/ar/articolo/7096807/simple-examples-to-illustrate-category-monoid-and-monad
  haskell  -  monads  -  category-theory  -  monoids
StackOverflow StackOverflow

Are lax natural transformations just natural transformations without naturality?

https://www.generacodice.com/ar/articolo/6882586/are-lax-natural-transformations-just-natural-transformations-without-naturality
  polymorphism  -  category-theory  -  parametric-polymorphism
StackOverflow StackOverflow

Do Hask or Agda have equalisers?

https://www.generacodice.com/ar/articolo/6551002/do-hask-or-agda-have-equalisers
  haskell  -  category-theory  -  agda
StackOverflow StackOverflow

Is there a generalization of these Free-like constructions?

https://www.generacodice.com/ar/articolo/6399646/is-there-a-generalization-of-these-free-like-constructions
  haskell  -  category-theory  -  free-monad
StackOverflow StackOverflow

How are functors in Haskell related to functors in category theory?

https://www.generacodice.com/ar/articolo/6374602/how-are-functors-in-haskell-related-to-functors-in-category-theory
  haskell  -  functor  -  category-theory
StackOverflow StackOverflow
العثور على نتائج: 162
scroll top