Tag category-theory - Dies ist Seite 3 - GeneraCodice

Can a monad be a comonad?

https://www.generacodice.com/de/articolo/7829401/can-a-monad-be-a-comonad

haskell - category-theory

Every monad is monoid?

https://www.generacodice.com/de/articolo/7826353/every-monad-is-monoid

haskell - category-theory

What is this special functor structure called?

https://www.generacodice.com/de/articolo/7444866/what-is-this-special-functor-structure-called

haskell - category-theory - applicative

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

https://www.generacodice.com/de/articolo/7348261/what-does-coalgebra-mean-in-the-context-of-programming

functional-programming - haskell - scala - category-theory - recursion-schemes

Applying Semantics to Free Monads

https://www.generacodice.com/de/articolo/7272325/applying-semantics-to-free-monads

functional-programming - haskell - category-theory - free-monad

Simple examples to illustrate Category, Monoid and Monad?

https://www.generacodice.com/de/articolo/7096807/simple-examples-to-illustrate-category-monoid-and-monad

haskell - monads - category-theory - monoids

Are lax natural transformations just natural transformations without naturality?

https://www.generacodice.com/de/articolo/6882586/are-lax-natural-transformations-just-natural-transformations-without-naturality

polymorphism - category-theory - parametric-polymorphism

Do Hask or Agda have equalisers?

https://www.generacodice.com/de/articolo/6551002/do-hask-or-agda-have-equalisers

haskell - category-theory - agda

Is there a generalization of these Free-like constructions?

https://www.generacodice.com/de/articolo/6399646/is-there-a-generalization-of-these-free-like-constructions

haskell - category-theory - free-monad

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

https://www.generacodice.com/de/articolo/6374602/how-are-functors-in-haskell-related-to-functors-in-category-theory

haskell - functor - category-theory

«
1
2
3
4
5
6
»

Gefundene Ergebnisse: 162