Prefer a chat interface with context about you and your work?
Takesaki's duality for a non-degenerate co-action.