> I'm sorry, but he is right. That’s like your opinion, man. You conveniently ignored the continousness of both constructive mathematics and Lie groups. Did

> I'm sorry, but he is right. That’s like your opinion, man. You conveniently ignored the continousness of both constructive mathematics and Lie groups. Did you read the paper on chu spaces and constructive mathematics? What did it say about adjoints?