Talk:Free Boolean algebra

Disputed

I disputed myself here because I'm not quite sure of this fact--is this really sufficient to characterize free BAs? It's not obvious that this condition implies that any permutation of the generators extends to an automorphism, which is surely a property we want. Can't find any clear references at the moment. --Trovatore 00:13, 2 November 2005 (UTC)[reply]

It sounds right, but (i) it's a new criteria to me and (ii) I haven't yet had my morning tea, so I will remove the tag once I have double-checked it. --- Charles Stewart 15:12, 2 November 2005 (UTC)[reply]

Thanks, I appreciate it. Looking at your changes so far, I'm a bit concerned by the change to "initial object". From my dimly remembered category theory I thought an initial object was just one from which there was an arrow to any other object in the category. If the arrows are just BA homomorphisms, that's not nearly strong enough. --Trovatore 16:13, 2 November 2005 (UTC)[reply]