Boost logo

Boost :

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:
> 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, gregod at, cpdaniel at, john at