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