Merge pull request #65 from mohamed-barakat/AddTruthMorphismOfTrueWithGivenObjects

no need to AddTruthMorphismOfTrueWithGivenObjects anymore

Author: zickgraf

PackageInfo.g

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

gap/FinSetsForCAP.gi

@@ -1002,14 +1002,6 @@ AddSubobjectClassifier( category_of_finite_sets,
 
 end );
 
-##
-AddTruthMorphismOfTrueWithGivenObjects( category_of_finite_sets,
-  function ( category_of_finite_sets, terminal, subobject )
-      
-      return MapOfFinSets( terminal, [ [ "*", "true" ] ], subobject );
-      
-end );
-
 ##
 AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier( category_of_finite_sets,
   function ( category_of_finite_sets, monomorphism, omega )