Re: how to write a simple cat

[Mariano Suarez-Alvarez]

On Wed, 2 Jun 1999, 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 ^ ?.

A ``category with + and ^ '' is called cartesian closed aditive
category, cf MacLane, Category Theory for the Working Mathematician

Mariano Suarez Alvarez