From 6272b4e84650b9833a53239b354770e0deba7b9a Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Tue, 9 Dec 2025 13:25:39 -0600
Subject: Add shorter name for singleton setoid

---
 Category/Instance/Setoids/SymmetricMonoidal.agda | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Category/Instance/Setoids')

diff --git a/Category/Instance/Setoids/SymmetricMonoidal.agda b/Category/Instance/Setoids/SymmetricMonoidal.agda
index f21124e..995ddf3 100644
--- a/Category/Instance/Setoids/SymmetricMonoidal.agda
+++ b/Category/Instance/Setoids/SymmetricMonoidal.agda
@@ -42,3 +42,6 @@ Setoids-+ = record
     ; monoidal = +-monoidal
     ; symmetric = +-symmetric
     }
+
+module Setoids-× = SymmetricMonoidalCategory Setoids-×
+module Setoids-+ = SymmetricMonoidalCategory Setoids-+
-- 
cgit v1.2.3