7 Jan
2008
7 Jan
'08
9:35 p.m.
Richard Garner wrote:
On reflection, [...] EK-closed requires the unit object to be representable as well.
This is a reasonable requirement anyway, since the unit is the 0fold iterated hom, just as it's the 0fold iterated product. So if you think <closed under binary products> should be accompanied by <with a unit object>, then so should <closed under internal homs>. OTOH, the version without unit probably has some use, just as non-monoid semigroups occasionally do. --Toby