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
> to initial and final algebras:
> 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk