21 Jan
2009
21 Jan
'09
3:04 a.m.
Monads are monoids in categories of functors C -> C Arrows are monoids in subcategories of bifunctors (C^op) x C -> C Trees are a playing ground for functors in general:-)