Categorical Semantics of Higher-Order Message Passing. - J. Robin B. Cockett; Melika Norouzbeygi (CoRR, 2025)