test TruthMorphismOfAnd

needs Toposes v2021.11-08

Author: mohamed-barakat

PackageInfo.g

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

examples/SubobjectClassifier.g

@@ -16,6 +16,12 @@ Display( TruthMorphismOfFalse( FinSets ) );
 Display( CartesianSquareOfSubobjectClassifier( FinSets ) );
 #! [ [ "true", "true" ], [ "true", "false" ],
 #!   [ "false", "true" ],  [ "false", "false" ] ]
+Display( TruthMorphismOfAnd( FinSets ) );
+#! [ [ [ "true", "true" ], [ "true", "false" ],
+#!     [ "false", "true" ], [ "false", "false" ] ],
+#!   [ [ [ "false", "false" ], "false" ], [ [ "false", "true" ], "false" ],
+#!     [ [ "true", "false" ], "false" ], [ [ "true", "true" ], "true" ] ],
+#!   [ "true", "false" ] ]
 m := MapOfFinSets( A, List( AsList( A ), x -> [ x, x ] ), S );
 #! <A morphism in FinSets>
 Display( ClassifyingMorphismOfSubobject( m ) );