User loginNavigation 
Premonoidal categories and notions of computation
I am currently working through Premonoidal categories and notions of computation.
Eugenio Moggi, in (Moggi 1991), advocated the use of monads, equivalently Kleisli triples, to model what he called notions of computation.As my knowledge of monads and CT is very limited, it's pretty tough... Does anybody have any opinion on the value of this paper and importance of premonoidal categories to CS? Thanks! By Andris Birkmanis at 20050410 13:13  LtU Forum  previous forum topic  next forum topic  other blogs  6383 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 2 days ago
1 week 2 days ago
3 weeks 13 hours ago
6 weeks 2 days ago
6 weeks 3 days ago
6 weeks 3 days ago
6 weeks 5 days ago
6 weeks 5 days ago
6 weeks 5 days ago
6 weeks 5 days ago