From a408cbee9abbe2dbeee09bd36afc678efe7b6557 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Fri, 10 Jul 2026 17:21:14 -0700 Subject: Use latest agda-categories --- Functor/Instance/CMonoidalize.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Functor/Instance/CMonoidalize.agda') diff --git a/Functor/Instance/CMonoidalize.agda b/Functor/Instance/CMonoidalize.agda index ad9b266..eef2bc8 100644 --- a/Functor/Instance/CMonoidalize.agda +++ b/Functor/Instance/CMonoidalize.agda @@ -12,7 +12,7 @@ module Functor.Instance.CMonoidalize (D : SymmetricMonoidalCategory o′ ℓ′ e′) where -open import Categories.Category.Cocartesian using (module CocartesianSymmetricMonoidal) +open import Categories.Category.Cocartesian.SymmetricMonoidal using (module CocartesianSymmetricMonoidal) open import Categories.Functor using (Functor) open import Category.Construction.CMonoids using (CMonoids) open import Categories.Category.Construction.Functors using (Functors) -- cgit v1.2.3