test TruthMorphismOfNot

needs Toposes v2021.11-11

Author: mohamed-barakat

PackageInfo.g

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

examples/SubobjectClassifier.g

@@ -17,6 +17,10 @@ Display( TruthMorphismOfTrue( FinSets ) );
 #! [ [ "*" ], [ [ "*", "true" ] ], [ "true", "false" ] ]
 Display( TruthMorphismOfFalse( FinSets ) );
 #! [ [ "*" ], [ [ "*", "false" ] ], [ "true", "false" ] ]
+Display( TruthMorphismOfNot( FinSets ) );
+#! [ [ "true", "false" ],
+#!   [ [ "false", "true" ], [ "true", "false" ] ],
+#!   [ "true", "false" ] ]
 Display( CartesianSquareOfSubobjectClassifier( FinSets ) );
 #! [ [ "true", "true" ], [ "true", "false" ],
 #!   [ "false", "true" ],  [ "false", "false" ] ]