Tag category-theory - Dies ist Seite 1 - GeneraCodice

Do the functor laws prove complete preservation of structure?

https://www.generacodice.com/de/articolo/13691539/do-the-functor-laws-prove-complete-preservation-of-structure
  functional-programming  -  haskell  -  category-theory
StackOverflow StackOverflow

Higher order Functors in scala

https://www.generacodice.com/de/articolo/13609597/higher-order-functors-in-scala
  haskell  -  scala  -  category-theory
StackOverflow StackOverflow

"Transposition" of functors?

https://www.generacodice.com/de/articolo/13334848/transposition-of-functors
  haskell  -  functor  -  category-theory
StackOverflow StackOverflow

Is there a name for arrows of the type a -> a (in Haskell notation) in category theory?

https://www.generacodice.com/de/articolo/12552412/is-there-a-name-for-arrows-of-the-type-a-a-in-haskell-notation-in-category-theory
  haskell  -  category-theory
StackOverflow StackOverflow

Why Functor class has no return function?

https://www.generacodice.com/de/articolo/12127265/why-functor-class-has-no-return-function
  math  -  haskell  -  monads  -  functor  -  category-theory
StackOverflow StackOverflow

How are uncurry and fanin related in category theory?

https://www.generacodice.com/de/articolo/10270713/how-are-uncurry-and-fanin-related-in-category-theory
  haskell  -  category-theory
StackOverflow StackOverflow

Monads from all angles - Mathematical, diagramatic and programmatical

https://www.generacodice.com/de/articolo/9970500/monads-from-all-angles-mathematical-diagramatic-and-programmatical
  functional-programming  -  haskell  -  monads  -  category-theory
StackOverflow StackOverflow

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

https://www.generacodice.com/de/articolo/8988600/generalized-fold-or-how-to-perform-fold-and-map-at-a-time
  haskell  -  category-theory
StackOverflow StackOverflow

Pithy summary for comonad. (Where a monad is a 'type for impure computation')

https://www.generacodice.com/de/articolo/8766270/pithy-summary-for-comonad-where-a-monad-is-a-type-for-impure-computation
  monads  -  category-theory  -  comonad
StackOverflow StackOverflow

Where do values fit in Category of Hask?

https://www.generacodice.com/de/articolo/8575473/where-do-values-fit-in-category-of-hask
  haskell  -  category-theory
StackOverflow StackOverflow
Gefundene Ergebnisse: 162
scroll top