Alex Rivera | Logout

Questions tagged category-theory

5 questions

Sort by: Newest Votes Active
22
votes
2
answers

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

haskell monads category-theory
asked 2012-12-20T11:58:19.457
13
votes
1
answers

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

haskell type-constraints applicative category-theory
asked 2012-11-29T12:31:19.790
55
votes
8
answers

What is a monad in FP, in categorical terms?

haskell functional-programming monads category-theory
asked 2011-11-22T02:55:14.600
86
votes
5
answers

Monads as adjunctions

haskell monads functor category-theory
asked 2011-01-15T00:31:01.290
14
votes
2
answers

could someone explain the connection between type covariance/contravariance and category theory?

covariance contravariance type-theory category-theory
asked 2010-06-26T20:30:04.170