Copyable and discardable Freyd categories

Last updated May 3, 2024

• Freyd category
• premonoidal category
• promonad