20 Jan
2009
20 Jan
'09
10:04 p.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:-)