  We give a categorical description of the treatment of the !() exponential in
the Geometry of Interaction system, with particular emphasis on the fact that
the GoI interpretation 'forgets types'. We demonstrate that it may be thought
of as a fixed-point operation for reversible logic & computation.

Category Theory;Logic in Computer Science;Logic