Show category of cospans is monoidal

1 files changed, 3 insertions, 1 deletions

diff --git a/Category/Instance/Properties/FinitelyCocompletes.agda b/Category/Instance/Properties/FinitelyCocompletes.agda
index 9f848f4..dedfa16 100644
--- a/Category/Instance/Properties/FinitelyCocompletes.agda
+++ b/Category/Instance/Properties/FinitelyCocompletes.agda
@@ -36,7 +36,9 @@ module _ (𝒞 : FinitelyCocompleteCategory o ℓ e) where
 
   open 𝒞 using ([_,_]; +-unique; i₁; i₂; _∘_; _+_; module Equiv; _⇒_; _+₁_; -+-)
   open Equiv
-  module -+- = Functor -+-
+
+  private
+    module -+- = Functor -+-
 
   +-resp-⊥
       : {(A , B) : 𝒞×𝒞.Obj}