Category theory has long served as a deep mathematical theory for investigations in programming languages and semantics. Recent years have seen renewed interest in applying category theory to progr…