[PRL] IOP and disjoint unions

[Paul A. Steckler]

> I don't get this.  I don't know anything about category 
> theory, but it seems like "an apple or an apple" is always 
> the same as "an apple". (Whereas "an apple and an apple" is 
> not.)  Or are you saying that A = A might not be true?  
> (Don't tell Ayn Rand...)

The categorical co-product is simply a separate object from 
the objects it refers to.

Categorists on the list, feel free to correct me.

-- Paul