Re: how to write a simple cat

[Hans Aberg]

At 20:08 +0200 1999/06/03, Mariano Suarez-Alvarez 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?

  Hans Aberg
                  * Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
                  * Home Page: <http://www.matematik.su.se/~haberg/>
                  * AMS member listing: <http://www.ams.org/cml/>