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:
[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