8 Jan
2008
8 Jan
'08
7:35 a.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