How do I refute or prove this???!!!!

[Monsu]

If f o g = (lambda)x.x, then f^-1 = g

given that f:A -> B and g:B -> C

[fourier jr]

i don't think i understand the problem. if f has an inverse, it would be f^-1: B->A; it wouldn't be that function g as defined.

[matt grime]

once more, fog is not a function, monsu, the standard is to read from right to left when composing functions. and the first part of your question makes no sense to me. Pretend you don't know what the question is and read it as if for the first time.

what is lambda, why is it in brackets, what is x, what is the dot between the xs? are you multiplying things? what's the input in fog (which isn't even a function?) is it a lambda or an x, or an x.x?

[Monsu]

You are right Matt, it isn't even a function... my brain seams to be damaging with work overload!! Thank you so much, once again!

[Monsu]

Thanks to you too fourier!!