References. Program Logics via Distributive Monoidal Categories (Bonchi, Di Lavore, Román, Staton, 2025) Tags: imperative category.
