Formal models of agency and cooperation