All Questions
Tagged with category-theory mathematical-foundations
3 questions
12
votes
1
answer
2k
views
Monad in Haskell programming vs. Monad in category theory
I have a question about concept of monad used in Haskell programming
and category theory in math.
Recall in Haskell a monad consists of following components:
A type constructor that defines for each ...
- 233
3
votes
0
answers
95
views
Examples of continuations in pure mathematics [closed]
I am not a computer scientist and have no knowledge of programming.
However, I wondered continuations occur as natural and interesting mathematical structures, perhaps as algebraic or type theoretic ...
- 194
4
votes
1
answer
174
views
What is the name of this type of function composition?
If standard function composition is defined as:
(define compose
{ (B → C) → (A → B)
→ (A → C) }
F G -> (λ X (F (G X))))
What type of ...
