2 papers
cs.LO2026
Monoidal categories graded by partial commutative monoids
Matthew Earnshaw, Chad Nester, Mario Román
Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morp…
cs.LO2025
Resourceful Traces for Commuting Processes
Matthew Earnshaw, Chad Nester, Mario Román
We show that, when the actions of a Mazurkiewicz trace are considered not merely as atomic (i.e., mere names) but transformations from a specified type of inputs to a specified typ…