On Wed, Mar 23, 2011 at 3:58 PM, Vasili I. Galchin <vigalchin at gmail.com> wrote: > Hello, > > Does there exist Haskell to generate a finite free category from a > finite multipath graph with loops? AKA the transitive closure of a graph? Luke