From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-05-12 12:14:59
Larry Evans wrote:
> On 05/12/2005 10:35 AM, Jonathan Turkanis wrote:
>>
>> I don't like the names sink or source, but it seems that the
>> conversion policy
>
> I couldn't think of a better one :( Maybe initial and final policies?
> A possible argument for these names is *maybe* there's some
> relationship
> to initial and final algebras:
>
>
http://web.comlab.ox.ac.uk/oucl/research/pdt/ap/pubs.html#Backhouse-Crole-Gibbons2002:Algebraic
>
> I'm almost totally guessing here. I've tried reading some category
> theory books without really understanding them.
BTW, did you notice that Saunders Maclane just died?
> Maybe someone more
> familiar with algebraic theories could comment.
I think naming policies (or just about anything, really) after category theory
is a bad idea.
Jonathan