From 8ec259bb32b4339b27560f5ea13afa81b9b8febc Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Wed, 7 Jan 2026 10:12:13 -0600 Subject: Differentiate lax and strong monoidal monotones --- Functor/Free/Instance/InducedSetoid.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Functor/Free/Instance/InducedSetoid.agda') diff --git a/Functor/Free/Instance/InducedSetoid.agda b/Functor/Free/Instance/InducedSetoid.agda index 08b65e3..83aaedf 100644 --- a/Functor/Free/Instance/InducedSetoid.agda +++ b/Functor/Free/Instance/InducedSetoid.agda @@ -6,7 +6,7 @@ module Functor.Free.Instance.InducedSetoid where open import Categories.Category.Instance.Setoids using (Setoids) open import Categories.Functor using (Functor) -open import Category.Instance.Preorders.Primitive using (Preorders) +open import Category.Instance.Preorder.Primitive.Preorders using (Preorders) open import Function using (Func) open import Level using (Level) open import Preorder.Primitive using (Preorder; module Isomorphism) -- cgit v1.2.3