Distributive categoryLast updated Apr 23, 2024ReferencesIntroduction to extensive and distributive categories (Carboni, Lack, Walters, 1993)