Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in category-theory
Free Applicative in Scala
Sep 24, 2022
scala
haskell
category-theory
Is there such thing as a bidistributive? What function do I need here?
Jun 07, 2022
haskell
math
category-theory
bifunctor
distributive
Why are Monoidal and Applicative laws telling us the same thing?
Sep 12, 2022
haskell
typeclass
applicative
category-theory
monoids
The useful application of Functor's Product and Coproduct
May 22, 2022
haskell
functor
category-theory
Where is the bifunctor for functions in haskell?
Apr 13, 2022
haskell
category-theory
How does compiler figure out fixed point of a functor and how cata work at leaf level?
Apr 16, 2022
haskell
category-theory
recursion-schemes
fixpoint-combinators
catamorphism
Can two non-functors compose to a functor?
Apr 07, 2020
haskell
composition
functor
applicative
category-theory
Difference between initial and terminal objects in a category
Aug 26, 2022
haskell
functional-programming
category-theory
Monads from all angles - Mathematical, diagramatic and programmatical
Mar 28, 2019
haskell
functional-programming
monads
category-theory
Do the monadic liftM and the functorial fmap have to be equivalent?
Mar 02, 2022
haskell
category-theory
Why is there a distinction between co and contravariant functors in Haskell but not Category Theory?
Apr 20, 2022
haskell
terminology
functor
category-theory
Where's the functor in the natural transformation?
Feb 28, 2022
haskell
functor
category-theory
Is there a non-identity monad morphism M ~> M that is monadically natural in M?
Feb 02, 2022
haskell
monads
category-theory
What are those class extensions for the Cartesian class for?
Sep 16, 2022
haskell
category-theory
monoids
What is the dual of a prism or an affine traversal?
Mar 16, 2022
haskell
haskell-lens
category-theory
lenses
Why does mutual yielding make ArrowApply and Monads equivalent, unlike Arrow and Applicative?
Mar 08, 2022
haskell
monads
applicative
category-theory
arrows
Is every Alternative Monad Filterable?
Aug 24, 2022
haskell
filter
monads
category-theory
alternative-functor
Which terms is corresponding for Map, Filter, Foldable, Bind etc from Category Theory?
Aug 11, 2021
math
functional-programming
lambda-calculus
category-theory
Why do initial algebras correspond to data and final coalgebras to codata?
May 24, 2022
haskell
recursive-datastructures
category-theory
What's a functor on the category of monads?
Nov 06, 2022
haskell
monads
monad-transformers
category-theory
« Newer Entries
Older Entries »