Merge pull request #224 from mohamed-barakat/AstrictionToCoimage

comply with CAP v2023.09-11 and Toposes v2023.10-01

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2023.09-01",
+Version := "2023.10-01",
 
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
@@ -98,9 +98,9 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [
-                   [ "CAP", ">= 2023.08-16" ],
+                   [ "CAP", ">= 2023.09-11" ],
                    [ "CartesianCategories", ">= 2023.08-13" ],
-                   [ "Toposes", ">= 2022.11-03" ],
+                   [ "Toposes", ">= 2023.10-01" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/CoimageObject.g

@@ -23,7 +23,7 @@ IsEpimorphism( phi );
 IsSplitEpimorphism( phi );
 #! false
 iota := AstrictionToCoimage( phi );
-#! <A monomorphism in FinSets>
+#! <A morphism in FinSets>
 pi := CoimageProjection( phi );
 #! <An epimorphism in FinSets>
 PreCompose( pi, iota ) = phi;