Re: how to write a simple cat

[Mariano Suarez-Alvarez]

On Thu, 3 Jun 1999, Hans Aberg wrote:

> >A ``category with + and ^ '' is called cartesian closed aditive
> >category, cf MacLane, Category Theory for the Working Mathematician
> 
> Is this a suggestion or a theorem?

A definition.

-- m