Actegories, Copowers, and Higher-Order Message Passing Semantics

Robin Cockett, Melika Norouzbeygi

In this paper we prove that giving a right actegory with hom-objects is equivalent to giving a right-enriched category with copowers. While this result is known in the closed symme…