more work on the topos of actions