[Haskell-cafe] a finite free category

[Vasili I. Galchin]

I think that would be the case ...I would have to think. Should reflexive
and transitive operations I think on the finite graph (possibly with
equations).

Vasili

On Wed, Mar 23, 2011 at 5:26 PM, Luke Palmer <lrpalmer at gmail.com> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110323/f2ed12d0/attachment.htm>