Merge pull request #64 from mohamed-barakat/truth

Comply with Toposes v2021.11-03

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-03",
+Version := "2020.11-04",
 
 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.03-01" ],
+                   [ "Toposes", ">= 2021.11-03" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/SubobjectClassifier.g

@@ -9,7 +9,7 @@ A := FinSet([1,5]);
 #! <An object in FinSets>
 m := MapOfFinSets(A, List(AsList(A), x -> [x,x]), S);
 #! <A morphism in FinSets>
-Display(TruthMorphismIntoSubobjectClassifier(FinSets));
+Display(TruthMorphismOfTrue(FinSets));
 #! [ [ "*" ], [ [ "*", "true" ] ], [ "true", "false" ] ]
 Display(ClassifyingMorphismOfSubobject(m));
 #! [ [ 1, 2, 3, 4, 5 ], [ [ 1, "true" ], [ 2, "false" ], [ 3, "false" ], 

gap/FinSetsForCAP.gi

@@ -1003,7 +1003,7 @@ AddSubobjectClassifier( category_of_finite_sets,
 end );
 
 ##
-AddTruthMorphismIntoSubobjectClassifierWithGivenObjects( category_of_finite_sets,
+AddTruthMorphismOfTrueWithGivenObjects( category_of_finite_sets,
   function ( category_of_finite_sets, terminal, subobject )
 
       return MapOfFinSets( terminal, [ [ "*", "true" ] ], subobject );