Re: [boost] Any interest in dynamic dispatching mechanism from & quot; interface& quot; to template functions ?

Subject: Re: [boost] Any interest in dynamic dispatching mechanism from & quot; interface& quot; to template functions ?
From: Larry Evans (cppljevans_at_[hidden])
Date: 2010-07-02 15:43:48

On 07/02/10 07:20, Raffi Enficiaud wrote:
> Larry Evans <cppljevans <at> suddenlink.net> writes:
[snip]
>> This sounds something like functor in category theory:
>>
>>    http://en.wikipedia.org/wiki/Functor
>>
[snip]
> This is the general idea, but it does not really 
> coincide with the notion of mathematical functor. These are
> homomorphism, which means that they preserve a mathematical
> structure. Well here, there is no such kind of structure I guess.
> The "objects" are here the types and their specific instance. 
> Plus functors are arrows with one direction, while the c_i's 
> are bidirectional (possible update of the interface parameters 
> during their destruction). 

Yes, functors are one direction; however, there's also
functor inverses, which go in the opposite direction:

   http://en.wikipedia.org/wiki/Natural_transformation

also, page 6 (in Section 5) of:

   http://www.math.wisc.edu/~virk/notes/pre08/pdf/categories.pdf

I found these by googling "isomorphic functors".

-regards,
Larry