9 Jan
2008
9 Jan
'08
1:36 a.m.
Toby Bartels wrote:
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.
What is the "0fold iterated" of a non-associative operation? -- Peter