From: Larry Evans (cppljevans_at_[hidden])
Date: 2005-05-12 11:26:25
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. Maybe someone more
familiar with algebraic theories could comment.