-- Monoidal categories

module Cubical.Categories.Monoidal where

open import Cubical.Categories.Monoidal.Base public
open import Cubical.Categories.Monoidal.Enriched public