* drafts/2013-04-13-CategoryTheory.lhs: