Merge pull request #67 from mohamed-barakat/CreateFilesForToposesPackage

comply with Toposes v2021.11-13

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-13",
+Version := "2020.11-14",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
@@ -100,7 +100,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2021.05-02" ],
-                   [ "Toposes", ">= 2021.11-11" ],
+                   [ "Toposes", ">= 2021.11-13" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/Topos.g

@@ -45,6 +45,6 @@ P := FinSet( [ "*" ] );;
 Q := FinSet( [ "§", "&" ] );;
 CartesianPreComposeMorphism( M, N, P );;
 CartesianPostComposeMorphism( M, N, P );;
-DirectProductExponentialCompatibilityMorphism( M, N, P, Q );;
+DirectProductExponentialCompatibilityMorphism( [ M, N, P, Q  ] );;
 
 #! @EndExample

gap/FinSetsForCAP.gi

@@ -970,13 +970,13 @@ end );
 
 ##
 AddDirectProductExponentialCompatibilityMorphismWithGivenObjects( category_of_finite_sets,
-  function ( category_of_finite_sets, S1, T1, S2, T2, L )
+  function ( category_of_finite_sets, source, L, range )
     local S1S2, T1T2;
 
-    S1S2 := DirectProduct( S1, S2 );
-    T1T2 := DirectProduct( T1, T2 );
+    S1S2 := DirectProduct( L{[ 1, 3 ]} );
+    T1T2 := DirectProduct( L{[ 2, 4 ]} );
 
-    return MapOfFinSetsNC( L[1], List( L[1], fg -> [ fg, DirectProductOnMorphismsWithGivenDirectProducts( S1S2, fg[1], fg[2], T1T2 ) ] ), L[2] );
+    return MapOfFinSetsNC( source, List( source, fg -> [ fg, DirectProductOnMorphismsWithGivenDirectProducts( S1S2, fg[1], fg[2], T1T2 ) ] ), range );
 
 end );