16 May
2000
16 May
'00
8:52 p.m.
Is there a binary product in the category of sets and functions that is "strictly associative", i.e. A x (B x C) = (A x B) x C and the associativity isomorphisms are equal to the identity? Thanks. Kai