From a408cbee9abbe2dbeee09bd36afc678efe7b6557 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Fri, 10 Jul 2026 17:21:14 -0700
Subject: Use latest agda-categories

---
 Data/Matrix/SemiadditiveDagger.agda | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Data/Matrix/SemiadditiveDagger.agda')

diff --git a/Data/Matrix/SemiadditiveDagger.agda b/Data/Matrix/SemiadditiveDagger.agda
index ebc6592..1415c7e 100644
--- a/Data/Matrix/SemiadditiveDagger.agda
+++ b/Data/Matrix/SemiadditiveDagger.agda
@@ -286,15 +286,15 @@ coproduct {A} {B} = record
 
 opaque
   unfolding _≋_
-  !-unique : (E : Matrix 0 B) → []ᵥ ≋ E
-  !-unique E = ≋.reflexive (≡.sym ([]ᵥ-! E))
+  ¡-unique : (E : Matrix 0 B) → []ᵥ ≋ E
+  ¡-unique E = ≋.reflexive (≡.sym ([]ᵥ-! E))
 
 initial : Initial Mat
 initial = record
     { ⊥ = 0
     ; ⊥-is-initial = record
-        { ! = []ᵥ
-        ; !-unique = !-unique
+        { ¡ = []ᵥ
+        ; ¡-unique = ¡-unique
         }
     }
 
-- 
cgit v1.2.3