Tag category-theory - This is page 4 - GeneraCodice

Functors and free objects in Hask

https://www.generacodice.com/en/articolo/6011828/functors-and-free-objects-in-hask
  haskell  -  category-theory
StackOverflow StackOverflow

Why isn't there a simple syntax for coproduct types in Haskell?

https://www.generacodice.com/en/articolo/5888384/why-isn-t-there-a-simple-syntax-for-coproduct-types-in-haskell
  computer-science  -  functional-programming  -  haskell  -  category-theory
StackOverflow StackOverflow

Composition of two functors is a functor

https://www.generacodice.com/en/articolo/5714216/composition-of-two-functors-is-a-functor
  haskell  -  functor  -  category-theory
StackOverflow StackOverflow

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

https://www.generacodice.com/en/articolo/5688956/are-there-a-thing-call-semi-monad-or-counter-monad
  haskell  -  monads  -  category-theory
StackOverflow StackOverflow

What are the adjoint functor pairs corresponding to common monads in Haskell?

https://www.generacodice.com/en/articolo/5668638/what-are-the-adjoint-functor-pairs-corresponding-to-common-monads-in-haskell
  haskell  -  category-theory
StackOverflow StackOverflow

What means precisely "function inside a functor"

https://www.generacodice.com/en/articolo/5520047/what-means-precisely-function-inside-a-functor
  haskell  -  category-theory
StackOverflow StackOverflow

How much is applicative really about applying, rather than "combining"?

https://www.generacodice.com/en/articolo/5403128/how-much-is-applicative-really-about-applying-rather-than-combining
  haskell  -  type-constraints  -  category-theory  -  applicative
StackOverflow StackOverflow

What are free monads?

https://www.generacodice.com/en/articolo/5150987/what-are-free-monads
  haskell  -  monads  -  category-theory  -  free-monad
StackOverflow StackOverflow

Understanding Sequencing in Functional Programming

https://www.generacodice.com/en/articolo/4915766/understanding-sequencing-in-functional-programming
  functional-programming  -  haskell  -  category-theory
StackOverflow StackOverflow

Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category?

https://www.generacodice.com/en/articolo/4840901/are-functions-of-arity-n-really-just-an-n-category-due-to-currying-can-they-be-made-into-a-1-category
  currying  -  haskell  -  category-theory  -  arity
StackOverflow StackOverflow
Results found: 162
scroll top