diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index eb4f3c0..f5d370a 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -13138,7 +13138,7 @@ inverse matrix [[j**i for i in 0..4] for j in 1..5]
--R Type: Matrix Integer
--E 58
---S 59
+--S 59 of 59
)show MatrixCategory
--R
--R MatrixCategory(R: Ring,Row: FiniteLinearAggregate t#1,Col: FiniteLinearAggregate t#1) is a category constructor
@@ -27396,16 +27396,16 @@ VectorCategory(R:Type): Category == OneDimensionalArrayAggregate R with
zero n == new(n, 0)
if R has AbelianGroup then
- - u == map(- #1, u)
+ - u == map(x +-> -x, u)
- n:Integer * u:% == map(n * #1, u)
+ n:Integer * u:% == map(x +-> n * x, u)
u - v == u + (-v)
if R has Monoid then
- u:% * r:R == map(#1 * r, u)
+ u:% * r:R == map(x +-> x * r, u)
- r:R * u:% == map(r * #1, u)
+ r:R * u:% == map(x +-> r * x, u)
if R has Ring then
dot(u, v) ==
diff --git a/changelog b/changelog
index fa615e8..9693714 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090510 tpd src/axiom-website/patches.html 20090510.14.tpd.patch
+20090510 tpd books/bookvol10.2 VECTCAT +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.13.tpd.patch
20090510 tpd books/bookvol10.3 D01APFA +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.12.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 21c203c..86235bd 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1186,5 +1186,7 @@ bookvol10.4 ASSOCEQ +-> conversion
bookvol10.2 LSAGG +-> conversion
20090510.13.tpd.patch
bookvol10.2 D01APFA +-> conversion
+20090510.14.tpd.patch
+bookvol10.2 VECTCAT +-> conversion