More precise ref.

smimram · Feb 5, 2025 · 0a0ad35 · 0a0ad35
1 parent 58c4bb8
commit 0a0ad35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/ccc.cccatt b/examples/ccc.cccatt
@@ -1,6 +1,6 @@
 # Cartesian closed categories, equationally presented
 # See Lambek & Scott, _Introduction to higher order categorical logic_, section I.3 (p. 52)
-# See also Curien's categorical combinators
+# See also Curien, _Categorical combinators_, definition 4.5
 
 # Generators