Re: how to write a simple cat

[Laszlo Nemeth]

Hans Aberg wrote:

> But it can be a spin-off for thoughts: A category is essentially an object
> with I and *, and a functor is a map preserving those. So what about the
> two other operations, + and ^ ?.

I somehow managed to delete Hans's earlier post in which he gives the
definitions for + and ^. So I wanted to fetch them from the
archive...which was last updated on the 28 May. Is the archive broken
or just rarely updated?

Thanks,
 Laszlo Nemeth