
12 May
2005
12 May
'05
4:26 p.m.
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-Gi... 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.