From 3d7c5574124d3384ff942489feaa093618c309b9 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Sun, 4 Jan 2026 15:53:23 -0600 Subject: Add category of monoidal preorders --- Preorder/Monoidal.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Preorder') diff --git a/Preorder/Monoidal.agda b/Preorder/Monoidal.agda index 705c359..02c6d88 100644 --- a/Preorder/Monoidal.agda +++ b/Preorder/Monoidal.agda @@ -83,7 +83,7 @@ record MonoidalMonotone field F : PreorderHomomorphism P.U Q.U - open PreorderHomomorphism F + open PreorderHomomorphism F public field ε : Q.unit Q.≲ ⟦ P.unit ⟧ -- cgit v1.2.3