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@gmail.com> wrote:
On Wed, Mar 23, 2011 at 3:58 PM, Vasili I. Galchin <vigalchin@gmail.com> wrote:
> Hello,
>
> Does there exist Haskell to generate a finite free category from a
> finite multipath graph with loops?