category-theory

90 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Confused about why all morphisms for a monoid are not the same as the identity morphism
user_143798180
•
5
2
200
monoids category-theory functional-programming haskell
How to understand the universal quantification in Yoneda's natural isomorphism?
user_4024280
•
5
1
249
forall category-theory haskell
What is a cocartesian comonoid, and what is a cocartesian comonoidal functor?
user_190779080
•
2
1
155
distributive applicative monoids category-theory haskell
Does the term "Functor" in Prolog have any relation to the term taken from Category Theory?
user_160922240
•
6
1
95
category-theory logic-programming prolog functor functional-programming
In depth understanding of Monad
user_24943080
•
2
1
96
monoids category-theory monads c++
Why are traversals defined over Applicatives, fundamentally?
user_190779080
•
10
2
259
distributive traversable category-theory haskell
The identity monad as a free monad
user_37809310
•
2
1
163
free-monad category-theory scala monads haskell
What is the mathematical theory or theorem underlying join of monad?
user_180708310
•
2
2
249
category-theory monads haskell
Did this construction of free(freer?) monad works?
user_185320780
•
10
1
269
free-monad category-theory monads functional-programming haskell
How to implement memoization in Scala without mutability?
user_160922240
•
2
3
193
category-theory memoization immutability thread-safety scala
Hot Questions